Two pretabular linear extensions of relevance logic R

Journal of Applied Non-Classical Logics 31 (2):154-179 (2021)
  Copy   BIBTEX

Abstract

Pretabularity is the attribute of logics that are not characterised by finite matrices, but all of whose proper extensions are. Two of the first-known pretabular logics were Dummett’s famous super-...

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2021.1915687

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Second Pretabular Classical Relevance Logic.Asadollah Fallahi - 2018 - Studia Logica 106 (1):191-214.
Simple Axiomatizations for Pretabular Classical Relevance Logics.Asadollah Fallahi - 2020 - Studia Logica 108 (2):359-393.
A Pretabular Classical Relevance Logic.Lisa Galminas & John G. Mersch - 2012 - Studia Logica 100 (6):1211-1221.
Lattices of modal logics and their groups of automorphisms.Marcus Kracht - 1999 - Annals of Pure and Applied Logic 100 (1-3):99-139.
There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height.Kazimierz Swirydowicz - 2008 - Journal of Symbolic Logic 73 (4):1249-1270.
Unification in Pretabular Extensions of S4.Stepan I. Bashmakov - 2021 - Logica Universalis 15 (3):381-397.
Lattices of Finitely Alternative Normal Tense Logics.Minghui Ma & Qian Chen - 2021 - Studia Logica 109 (5):1093-1118.
On Pretabular Logics in NExtK4 (Part I).Shan Du & Hongkui Kang - 2014 - Studia Logica 102 (3):499-523.
Independent bases for rules admissible in pretabular logics.V. Rybakov, V. Kiyatkin & M. Terziler - 1999 - Logic Journal of the IGPL 7 (2):253-266.
On Pretabular Logics in NExtK4.Shan Du - 2014 - Studia Logica 102 (5):931-954.
The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
What is relevance logic?Arnon Avron - 2014 - Annals of Pure and Applied Logic 165 (1):26-48.
Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions.Andreja Prijatelj - 1996 - Notre Dame Journal of Formal Logic 37 (1):53-70.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
Nilpotent Minimum Logic NM and Pretabularity.Eunsuk Yang - 2020 - Bulletin of the Section of Logic 49 (1).

Analytics

Added to PP
2021-07-05

Downloads
30 (#535,608)

6 months
12 (#219,036)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.
Simplified semantics for basic relevant logics.Graham Priest & Richard Sylvan - 1992 - Journal of Philosophical Logic 21 (2):217 - 232.

View all 12 references / Add more references