Non-classical metatheory for non-classical logics

DOI10.1007/s10992-012-9223-9zbMath1272.03122OpenAlexW2089735353MaRDI QIDQ2377187

Andrew Bacon

Publication date: 28 June 2013

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://philarchive.org/rec/BACNMF

zbMATH Keywords

fuzzy logicvaguenessnonclassical logicmetalogichigher-order vagueness

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

Paradox and logical revision. A short introduction ⋮ Paradoxes of logical equivalence and identity ⋮ Towards a non-classical meta-theory for substructural approaches to paradox

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The permutation principle in quantificational logic
• Toward a theory of second-order consequence
• Incompleteness in intuitionistic metamathematics
• The conditional in quantum logic
• Metamathematics of fuzzy logic
• On theorems of Gödel and Kreisel: Completeness and Markov's principle
• ULTIMATE TRUTHVIS-À-VISSTABLE TRUTH
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Dialetheism, logical consequence and hierarchy
• Indeterminacy, Degree of Belief, and Excluded Middle
• On weak completeness of intuitionistic predicate logic