On extensions of intermediate logics by strong negation
From MaRDI portal
Publication:1386683
DOI10.1023/A:1004222213212zbMath0929.03035MaRDI QIDQ1386683
Publication date: 12 January 2000
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Intermediate logics (03B55)
Related Items
Equilibrium logic, Twist structures and Nelson conuclei, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Semi-Nelson algebras, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, An algebraic investigation of the connexive logic \(\mathsf{C}\), The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3, \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics, The lattice of Belnapian modal logics: Special extensions and counterparts, The subvariety of commutative residuated lattices represented by twist-products, Generalized Kripke semantics for Nelson's logic, Priestley duality for paraconsistent Nelson's logic, Extensions of Priest-da Costa logic, Behavioral algebraization of logics, On axiomatizing Shramko-Wansing's logic, Neighbourhood semantics for FDE-based modal logics, Categories of models of \(\mathbf{R}\)-mingle, Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value, On Axioms and Rexpansions, The logic of generalized truth values and the logic of bilattices, The class of extensions of Nelson's paraconsistent logic, A first order nonmonotonic extension of constructive logic, Nelson's negation on the base of weaker versions of intuitionistic negation, Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic, Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Nelson algebras through Heyting ones. I
- Some investigations of varieties of \({\mathcal N}\)-lattices
- The Craig interpolation theorem for propositional logics with strong negation
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
- Axiomatic extensions of the constructive logic with strong negation and the disjunction property
- N-lattices and constructive logic with strong negation
- Constructible falsity
