Proof Theories for Semilattice Logics

DOI10.1002/malq.19870330507zbMath0611.03005OpenAlexW1995007089MaRDI QIDQ3751556

Alasdair Urquhart, Steve Giambrone

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)

Related Items (9)

Relational proof system for relevant logics ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ A characteristic frame for positive intuitionistic and relevance logic ⋮ A conservative negation extension of positive semilattice logic without the finite model property ⋮ Four relevant Gentzen systems ⋮ The Arthur Prior memorial conference, Christchurch, 1989 ⋮ A reinterpretation of the semilattice semantics with applications ⋮ A Logical Autobiography ⋮ Revisiting Semilattice Semantics

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