Decidability of Some Extensions of J

DOI10.1002/MALQ.19740201304MaRDI QIDQ4063433zbMATH OpenOpenAlexFDO

Authors Robert Goldblatt

Publication date 1974

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19740201304

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55) General logic (03B99)

Cited in

(4)

• On some definition of physical state
• A study of algebraic structures and logics based on categories of rough sets
• Nonordered quantum logic and its YES-NO representation
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation

This page was built for publication: Decidability of Some Extensions of J

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