Constructible falsity
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Behavioral algebraization of logics
- Phase semantics and Petri net interpretation for resource-sensitive strong negation
- Some investigations of varieties of \({\mathcal N}\)-lattices
- The Craig interpolation theorem for propositional logics with strong negation
- A complete negationless system
- Semantical analyses of propositional systems of Fitch and Nelson
- Intuitionistic logic with strong negation
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Informational interpretation of substructural propositional logics
- On extensions of intermediate logics by strong negation
- Normal modal substructural logics with strong negation
- Logic programming and knowledge representation---The A-Prolog perspective
- Hintikka's independence-friendly logic meets Nelson's realizability
- Modal multilattice logic
- 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
- Subminimal negation
- Semi-intuitionistic logic with strong negation
- There is more to negation than modality
- Proof theory of paraconsistent quantum logic
- Inconsistency-tolerant temporal reasoning with hierarchical information
- Paraconsistent computation tree logic
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
- Partial up an down logic
- Axiomatic extensions of the constructive logic with strong negation and the disjunction property
- About effective versions of game theoretical semantics for first-order logic
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- A hierarchy of weak double negations
- Extensions of Priest-da Costa logic
- Logics of nonsense and Parry systems
- An algebraic study of tense operators on Nelson algebras
- A general framework for FDE-based modal logics
- An epistemic approach to paraconsistency: a logic of evidence and truth
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
- Neighbourhood semantics for FDE-based modal logics
- Falsification-aware semantics and sequent calculi for classical logic
- Embedding friendly first-order paradefinite and connexive logics
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
- A categorical equivalence for tense Nelson algebras
- Constraint tableaux for two-dimensional fuzzy logics
- The Došen square under construction: a tale of four modalities
- Representation of De Morgan and (semi-)Kleene lattices
- A duality for two-sorted lattices
- An analysis of poly-connexivity
- Twist structures and Nelson conuclei
- 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
- Missing values and dragonfly operations in fuzzy relational compositions
- Compatibly involutive residuated lattices and the Nelson identity
- Quasi-Nelson algebras
- Inference rules in Nelson's logics, admissibility and weak admissibility
- Semi-Nelson algebras
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Representation of interlaced trilattices
- Implicative twist-structures
- Description logics with contraries, contradictories, and subcontraries
- On the unity of duality
- Towards a semantics based on the notion of justification
- Structuring co-constructive logic for proofs and refutations
- Connexive restricted quantification
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
- Realism, Antirealism, and Paraconsistency
- Three-valued logics for incomplete information and epistemic logic
- Cut for core logic
- Strong negation in intuitionistic style sequent systems for residuated lattices
- Paraconsistent double negation as a modal operator
- Pragmatic and dialogic interpretations of bi-intuitionism. I
- The lattice of Belnapian modal logics: special extensions and counterparts
- Notes on Craig interpolation for LJ with strong negation
- Characterising equilibrium logic and nested logic programs: Reductions and complexity,
- 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
- Hoop twist-structures
- Inconsistent models (and infinite models) for arithmetics with constructible falsity
- Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
- A square of oppositions in intuitionistic logic with strong negation
- Probabilistic reasoning with answer sets
- Constructive negation, implication, and co-implication
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors
- Bilattices with implications
- Abstract valuation semantics
- A theory of local negation: The model and some applications
- Information completeness in Nelson algebras of rough sets induced by quasiorders
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
- 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
- Tableaux for logic programming with strong negation
- Belief, provability, and logic programs
- Two axiomatizations of Nelson algebras.
- A map of dependencies among three-valued logics
- 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
This page was built for publication: Constructible falsity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5789498)
