Proof Theories for Semilattice Logics
From MaRDI portal
Publication:3751556
DOI10.1002/MALQ.19870330507zbMATH Open0611.03005OpenAlexW1995007089MaRDI QIDQ3751556FDOQ3751556
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
Recommendations
proof theorynatural deductionsemilattice relevant logicscontractionless logicssemilattice semanticscommutative monoid semanticsGentzen Systems
Cited In (24)
- Proof Theory, Semantics and Algebra for Normative Systems
- Title not available (Why is that?)
- Logics of varieties, logics of semilattices and conjunction
- Relational proof system for relevant logics
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- A characteristic frame for positive intuitionistic and relevance logic
- The Arthur Prior memorial conference, Christchurch, 1989
- A Logical Autobiography
- Further Results on Proof Theories For Semilattice Logics
- Title not available (Why is that?)
- A proof-theoretic semantics for exclusion
- Completeness of implicational relevant logics
- A reinterpretation of the semilattice semantics with applications
- Revisiting Semilattice Semantics
- Proof Theory for Casari's Comparative Logics
- A contractionless semilattice semantics
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)
