Search
Skip to Search Results
Filter
Subject / Keyword
Languages
Supervisors
Author / Creator / Contributor
Year
Collections
Item type
Departments
-
Fall 2014
Inconsistent and collapse models of arithmetic are presented in the language and semantics of the simple paraconsistent logic LP. I present a logic which extends LP by the addition of a sensible conditional connective and quantifiers. This logic, called A 3 , is specified as a Hilbert style axiom...
-
Spring 2020
Applications of formal logic often require the language of the logics to be sufficiently expressive, capturing notions such as necessity, possibility, subject-predicate sentences, quantified sentences, and identity. To this end, logics employ modal operators, first order quantifiers, and an...
1 - 2 of 2