Constructible falsity
From MaRDI portal
Publication:5789498
DOI10.2307/2268973zbMath0033.24304OpenAlexW4245674526MaRDI QIDQ5789498
No author found.
Publication date: 1949
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2268973
Related Items (only showing first 100 items - show all)
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond ⋮ AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ Vagueness as an epiphenomenon, and non-transitivity ⋮ Equality and Apartness in Bi-intuitinistic Logic ⋮ Negation and Implication in Quasi-Nelson Logic ⋮ A theory of local negation: The model and some applications ⋮ Belief, provability, and logic programs ⋮ On deductive bases for paraconsistent answer set semantics ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ Diagrammatic duality ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ IMPROVING STRONG NEGATION ⋮ Belnap Constants and Nelson Logic ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Prelinearity in (quasi-)Nelson logic ⋮ Thirty years of Epistemic Specifications ⋮ Tarskian consequence relations bilaterally: some familiar notions ⋮ Qualitative reasoning in a two-layered framework ⋮ Fragments of quasi-Nelson: residuation ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ Revisiting Explicit Negation in Answer Set Programming ⋮ Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach ⋮ An algebraic investigation of the connexive logic \(\mathsf{C}\) ⋮ Executability and connexivity in an interpretation of Griss ⋮ Logical multilateralism ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ Double negation as minimal negation ⋮ Tableaux for logic programming with strong negation ⋮ A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC ⋮ A variant of Thomason's first-order logic CF based on situations ⋮ Dual realizability in symmetric logic ⋮ Probabilistic reasoning with answer sets ⋮ Prawitz, Proofs, and Meaning ⋮ A Notion of C-Justification for Empirical Statements ⋮ Avoiding Impossibility Theorems in Radical Inquisitive Semantics ⋮ On the Methodology of Paraconsistent Logic ⋮ Why Paraconsistent Logics? ⋮ Jair Minoro Abe on Paraconsistent Engineering ⋮ SEQUENT CALCULI FOR SOME TRILATTICE LOGICS ⋮ Constructive negation, implication, and co-implication ⋮ Natural deduction systems for Nelson's paraconsistent logic and its neighbors ⋮ Strong and explicit negation in non-monotonic reasoning and logic programming ⋮ On the Philosophy and Mathematics of the Logics of Formal Inconsistency ⋮ From Possibility Theory to Paraconsistency ⋮ Unnamed Item ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory ⋮ Normalisation for Some Quite Interesting Many-Valued Logics ⋮ A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction ⋮ On Axioms and Rexpansions ⋮ Quasi-Nelson algebras and fragments ⋮ Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics ⋮ Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion ⋮ Subminimal logics in light of Vakarelov's logic ⋮ Notes on Craig interpolation for LJ with strong negation ⋮ Constraint tableaux for two-dimensional fuzzy logics ⋮ The Došen square under construction: a tale of four modalities ⋮ Realism, Antirealism, and Paraconsistency ⋮ Characterising equilibrium logic and nested logic programs: Reductions and complexity, ⋮ Three-Valued Logics for Incomplete Information and Epistemic Logic ⋮ Equilibrium logic ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ Hoop twist-structures ⋮ Partial up an down logic ⋮ CUT FOR CORE LOGIC ⋮ A duality for two-sorted lattices ⋮ An analysis of poly-connexivity ⋮ Twist structures and Nelson conuclei ⋮ Hintikka's independence-friendly logic meets Nelson's realizability ⋮ Strong negation in intuitionistic style sequent systems for residuated lattices ⋮ A square of oppositions in intuitionistic logic with strong negation ⋮ Axiomatic extensions of the constructive logic with strong negation and the disjunction property ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Connexive restricted quantification ⋮ Bilattices with implications ⋮ Abstract valuation semantics ⋮ Information completeness in Nelson algebras of rough sets induced by quasiorders ⋮ On extensions of intermediate logics by strong negation ⋮ Semi-Nelson algebras ⋮ Substantial and formal deductions in logics with vector semantics ⋮ Modal multilattice logic ⋮ Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework ⋮ Paraconsistent double negations as classical and intuitionistic negations ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ First-degree entailment and its relatives ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Paraconsistent double negation as a modal operator ⋮ A labeled argumentation framework ⋮ Subminimal negation ⋮ \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics ⋮ Normal modal substructural logics with strong negation ⋮ Representation of interlaced trilattices ⋮ Pragmatic and dialogic interpretations of bi-intuitionism. Part I ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ Implicative twist-structures ⋮ Two axiomatizations of Nelson algebras. ⋮ An Invitation to New Essays on Belnap-Dunn Logic ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ A map of dependencies among three-valued logics ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
Cites Work
This page was built for publication: Constructible falsity
