A semantical study of constructible falsity
From MaRDI portal
Cited in
(47)- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
- Some investigations of varieties of \({\mathcal N}\)-lattices
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- Semantical analyses of propositional systems of Fitch and Nelson
- Intuitionistic logic with strong negation
- Informational interpretation of substructural propositional logics
- Hybridizing nonmonotonic inheritance with theorem proving
- Normal modal substructural logics with strong negation
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
- Partial up an down logic
- Falsification-aware semantics and sequent calculi for classical logic
- Compatibly involutive residuated lattices and the Nelson identity
- Inference rules in Nelson's logics, admissibility and weak admissibility
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Description logics with contraries, contradictories, and subcontraries
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
- Strong negation in intuitionistic style sequent systems for residuated lattices
- Three lessons on the topological and algebraic hidden core of rough set theory
- Inconsistent models (and infinite models) for arithmetics with constructible falsity
- Constructive negation, implication, and co-implication
- Toward useful type-free theories. I
- Constructible falsity and inexact predicates
- On deductive bases for paraconsistent answer set semantics
- Tableaux for logic programming with strong negation
- Algebraic Kripke-style semantics for relevance logics
- Vagueness as an epiphenomenon, and non-transitivity
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
- Belnap constants and Nelson logic
- scientific article; zbMATH DE number 7536428 (Why is no real title available?)
- A variant of Thomason's first-order logic CF based on situations
- IMPROVING STRONG NEGATION
- An algebraic investigation of the connexive logic \(\mathsf{C}\)
- Executability and connexivity in an interpretation of Griss
- A new logical characterisation of stable models and answer sets
- G3-style sequent calculi for Gurevich logic and its neighbors
- A binary quantifier for definite descriptions in Nelsonian free logic
- Consistency-sensitive epistemic modalities in information-based semantics
- From Jaśkowski's discussive logic to contemporary paraconsistent systems
- Adequate conditionals and Kripke's theory of truth
- Dual counterpart intuitionistic logic
- Abstract argumentation and answer set programming: two faces of Nelson's logic
- First-order intuitionistic Belnap-Dunn logic: proof-theoretic analysis of the American path
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- A first order nonmonotonic extension of constructive logic
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- Constructive logic with strong negation is a substructural logic. I
- Combining linear-time temporal logic with constructiveness and paraconsistency
This page was built for publication: A semantical study of constructible falsity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5570919)
