A semantic analysis of some distributive logics with negation

DOI10.4467/20842589RM.13.004.1256MaRDI QIDQ5412442zbMATH OpenOpenAlexFDO

Authors Sergio A. Celani

Publication date 25 April 2014

Full work available at URL https://dblp.uni-trier.de/db/journals/rml/rml48.html#Celani13

zbMATH Keywords

deductive systemnegated distributive latticepreminimal negationrelational semanticssemilattice-based logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract deductive systems (03B22) Other algebras related to logic (03G25) Other generalizations of distributive lattices (06D75)

Recommendations

• On the logic of distributive nearlattices
• Distributive Lattices with a Negation Operator
• The logic of distributive nearlattices
• scientific article; zbMATH DE number 4132132
• Canonical extensions and relational representations of lattices with negation

Cited in

(3)

• The logic of distributive nearlattices
• On the logic of distributive nearlattices
• A semantical analysis of some subintuitionistic modal logics

This page was built for publication: A semantic analysis of some distributive logics with negation

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