Canonical formulas for a paraconsistent analog of the Scott logic

DOI10.1007/S10469-009-9059-8zbMATH Open1241.03030OpenAlexW2015278196MaRDI QIDQ431702FDOQ431702

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

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

zbMATH Keywords

canonical formulasintermediate Scott logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

• An algebraic approach to non-classical logics
• On the structure of paraconsistent extensions of Johansson's logic
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes
• The undecidability of the disjunction property of propositional logics and other related problems
• Title not available (Why is that?)

Cited In (2)

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

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)