Non-classical metatheory for non-classical logics

DOI10.1007/S10992-012-9223-9MaRDI QIDQ2377187zbMATH OpenOpenAlexFDO

Authors 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 logichigher-order vaguenessmetalogicnonclassical logicvagueness

Mathematics Subject Classification ID

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

Recommendations

• A new semantics for vagueness
• A model of tolerance
• The semantic paradoxes and the paradoxes of vagueness
• A logic for vagueness
• Supervaluationism and classical logic

Cites work

• Dialetheism, logical consequence and hierarchy
• scientific article; zbMATH DE number 2048513 (Why is no real title available?)
• scientific article; zbMATH DE number 5238362 (Why is no real title available?)
• scientific article; zbMATH DE number 3190337 (Why is no real title available?)
• Incompleteness in intuitionistic metamathematics
• Indeterminacy, Degree of Belief, and Excluded Middle
• Metamathematics of fuzzy logic
• On theorems of Gödel and Kreisel: Completeness and Markov's principle
• On weak completeness of intuitionistic predicate logic
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Saving truth from paradox
• The conditional in quantum logic
• The permutation principle in quantificational logic
• Toward a theory of second-order consequence
• Ultimate truth vis-à-vis stable truth

Cited in

(7)

• Paradox and logical revision. A short introduction
• Paradoxes of logical equivalence and identity
• Towards a non-classical meta-theory for substructural approaches to paradox
• scientific article; zbMATH DE number 2019913 (Why is no real title available?)
• Against classical paraconsistent metatheory
• Can the classical ladder be kicked away? The view from one rung up
• Paraconsistent and paracomplete Zermelo-Fraenkel set theory

This page was built for publication: Non-classical metatheory for non-classical logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2377187)