Pages that link to "Item:Q5570919"
From MaRDI portal
The following pages link to A semantical study of constructible falsity (Q5570919):
Displaying 30 items.
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics (Q1069923) (← links)
- Some investigations of varieties of \({\mathcal N}\)-lattices (Q1071022) (← links)
- A Kripke-style semantics for R-mingle using a binary accessibility relation (Q1226480) (← links)
- Semantical analyses of propositional systems of Fitch and Nelson (Q1237778) (← links)
- Intuitionistic logic with strong negation (Q1241438) (← links)
- Informational interpretation of substructural propositional logics (Q1322438) (← links)
- Hybridizing nonmonotonic inheritance with theorem proving (Q1356176) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
- Partial up an down logic (Q1903583) (← links)
- Falsification-aware semantics and sequent calculi for classical logic (Q2078978) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- Description logics with contraries, contradictories, and subcontraries (Q2478592) (← links)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory (Q3299869) (← links)
- Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity (Q3387886) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- Tableaux for logic programming with strong negation (Q4610313) (← links)
- IMPROVING STRONG NEGATION (Q6051428) (← links)
- An algebraic investigation of the connexive logic \(\mathsf{C}\) (Q6127184) (← links)
- Executability and connexivity in an interpretation of Griss (Q6127196) (← links)
