Canonical formulas for a paraconsistent analog of the Scott logic

DOI10.1007/S10469-009-9059-8MaRDI QIDQ431702zbMATH OpenOpenAlexFDO

Authors M. V. Stukachyova

Publication date 29 June 2012

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-009-9059-8

zbMATH Keywords

canonical formulasintermediate Scott logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• On models of paraconsistent logic with Kreisel-Putnam's and Scott's axioms
• Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
• scientific article; zbMATH DE number 1163394
• scientific article; zbMATH DE number 727674
• Paraconsistent logic and model theory

Cites work

• scientific article; zbMATH DE number 1790851 (Why is no real title available?)
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• An algebraic approach to non-classical logics
• On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes
• On the structure of paraconsistent extensions of Johansson's logic
• The undecidability of the disjunction property of propositional logics and other related problems

Cited in

(2)

• Consistent disjunctive sequent calculi and Scott domains
• On models of paraconsistent logic with Kreisel-Putnam's and Scott's axioms

This page was built for publication: Canonical formulas for a paraconsistent analog of the Scott logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q431702)