Proof Theories for Semilattice Logics

DOI10.1002/MALQ.19870330507MaRDI QIDQ3751556zbMATHOpenAlexFDO

Authors Steve Giambrone, Alasdair Urquhart

Publication date 1987

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

proof theorynatural deductionsemilattice relevant logicscontractionless logicssemilattice semanticscommutative monoid semanticsGentzen Systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Further Results on Proof Theories For Semilattice Logics
• On semilattice relevant logics
• A contractionless semilattice semantics
• scientific article; zbMATH DE number 1222494
• Operational semantics for positive R

Cited in

(24)

• Further Results on Proof Theories For Semilattice Logics
• Relational proof system for relevant logics
• A Logical Autobiography
• TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
• Revisiting Semilattice Semantics
• Four relevant Gentzen systems
• The Arthur Prior memorial conference, Christchurch, 1989
• Proof Theory for Casari's Comparative Logics
• scientific article; zbMATH DE number 2095713 (Why is no real title available?)
• A proof-theoretic semantics for exclusion
• Proof Theory, Semantics and Algebra for Normative Systems
• scientific article; zbMATH DE number 7307096 (Why is no real title available?)
• scientific article; zbMATH DE number 4029553 (Why is no real title available?)
• A conservative negation extension of positive semilattice logic without the finite model property
• Completeness of implicational relevant logics
• On semilattice relevant logics
• A characteristic frame for positive intuitionistic and relevance logic
• Advances in proof-theoretic semantics
• Logics of varieties, logics of semilattices and conjunction
• Survey of generalizations of Urquhart semantics
• Operational semantics for positive R
• A reinterpretation of the semilattice semantics with applications
• A contractionless semilattice semantics
• scientific article; zbMATH DE number 7109521 (Why is no real title available?)

This page was built for publication: Proof Theories for Semilattice Logics

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