Journal of Applied Non-Classical Logics 15 (1):45-58 (2005)
AbstractWe define the paraconsistent supra-logic Pσ by a type-shift from the booleans o of propositional logic Po to the supra-booleans σ of the propositional type logic P obtained as the propositional fragment of the transfinite type theory Q defined by Peter Andrews as a classical foundation of mathematics. The supra-logic is in a sense a propositional logic only, but since there is an infinite number of supra-booleans and arithmetical operations are available for this and other types, virtually anything can be specified. The supra-logic is a generalization of Lukasiewicz's three-valued logic, with the intermediate value duplicated many times and ordered such that none of the copies of this value imply other ones, but it differs from Lukasiewicz's many-valued logics as well as from logics based on bilattices. There are several automated theorem provers for classical higher order logic and it should be possible to modify these to our needs.
Similar books and articles
A Transfinite Type Theory with Type Variables.P. B. Andrews - 1965 - Amsterdam: North-Holland Pub. Co..
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
A Construction of Type: Type in Martin-Löf's Partial Type Theory with One Universe.Erik Palmgren - 1991 - Journal of Symbolic Logic 56 (3):1012-1015.
What is the Type-1/Type-2 Distinction?Nick Chater - 1997 - Behavioral and Brain Sciences 20 (1):68-69.
An Interpretation of Martin-Löf's Type Theory in a Type-Free Theory of Propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.
The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
The Logic of First Order Intuitionistic Type Theory with Weak Sigma- Elimination.M. D. G. Swaen - 1991 - Journal of Symbolic Logic 56 (2):467-483.
Describing Ordinals Using Functionals of Transfinite Type.Peter Aczel - 1972 - Journal of Symbolic Logic 37 (1):35-47.
Relations Vs Functions at the Foundations of Logic: Type-Theoretic Considerations.Paul Oppenheimer & Edward N. Zalta - 2011 - Journal of Logic and Computation 21:351-374.
Added to PP
Historical graph of downloads
Citations of this work
No citations found.
References found in this work
Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton University Press.
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.