Pages that link to "Item:Q3693511"

The following pages link to Constructible falsity and inexact predicates (Q3693511):

Displaying 48 items.

• The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
• Notes on Craig interpolation for LJ with strong negation (Q3170560) (← links)
• An Invitation to New Essays on Belnap-Dunn Logic (Q3305604) (← links)
• K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
• Inferential Semantics, Paraconsistency, and Preservation of Evidence (Q3305663) (← links)
• On Non-transitive “Identity” (Q3305680) (← links)
• Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity (Q3387886) (← links)
• Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality (Q3387890) (← links)
• Connexive Conditional Logic. Part I (Q3387894) (← links)
• SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)
• Inconsistency-Tolerant Multi-Agent Calculus (Q3448622) (← links)
• Constructive negation, implication, and co-implication (Q3643320) (← links)
• Natural deduction systems for Nelson's paraconsistent logic and its neighbors (Q3647236) (← links)
• 1996–1997 Winter Meeting of the Association for Symbolic Logic (Q4372926) (← links)
• On deductive bases for paraconsistent answer set semantics (Q4583312) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
• Tableaux for logic programming with strong negation (Q4610313) (← links)
• Displaying the modal logic of consistency (Q4948528) (← links)
• Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
• Vagueness as an epiphenomenon, and non-transitivity (Q5048038) (← links)
• SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION (Q5099778) (← links)
• Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach (Q5109233) (← links)
• (Q5144357) (← links)
• Prawitz, Proofs, and Meaning (Q5213604) (← links)
• On the Methodology of Paraconsistent Logic (Q5213765) (← links)
• Why Paraconsistent Logics? (Q5213768) (← links)
• Belnap Constants and Nelson Logic (Q5350349) (← links)
• Handling inconsistency in knowledge systems (Q5894661) (← links)
• A variant of Thomason's first-order logic CF based on situations (Q5937807) (← links)
• IMPROVING STRONG NEGATION (Q6051428) (← links)
• On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) (Q6054061) (← links)
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
• Tarskian consequence relations bilaterally: some familiar notions (Q6088596) (← links)
• The nature of entailment: an informational approach (Q6088597) (← links)
• An algebraic investigation of the connexive logic \(\mathsf{C}\) (Q6127184) (← links)
• A simple way to overcome hyperconnexivity (Q6127185) (← links)
• Executability and connexivity in an interpretation of Griss (Q6127196) (← links)
• Logical multilateralism (Q6145030) (← links)
• Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
• Double negation as minimal negation (Q6190088) (← links)
• On paracomplete versions of Jaśkowski's discussive logic (Q6555700) (← links)
• On the quantified version of the Belnap-Dunn modal logic (Q6582282) (← links)
• Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
• A note on synonymy in proof-theoretic semantics (Q6612874) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
• A new logical characterisation of stable models and answer sets (Q6623793) (← links)
• Algebraizability of the logic of quasi-N4-lattices (Q6659913) (← links)
• About opposition and duality in paraconsistent type theory (Q6661150) (← links)