Proof Theories for Semilattice Logics

DOI10.1002/MALQ.19870330507MaRDI QIDQ3751556zbMATH OpenOpenAlexFDO

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

(26)

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

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)