Filters








13 Hits in 5.9 sec

Page 3851 of Mathematical Reviews Vol. , Issue 2000f [page]

2000 Mathematical Reviews  
(TR-EGES; Izmir) Independent bases for rules admissible in pretabular logics. (English summary) Log. J. IGPL 7 (1999), no. 2, 253-266.  ...  By using Kripke-style techniques, the authors prove that the remaining pretabular logics, nonetheless, have independent bases for admissible rules.  ... 

IN MEMORIAM: J. MICHAEL DUNN, 1941–2021

Katalin Bimbó
2021 Bulletin of Symbolic Logic  
In the late twentieth century, he was a doyen with a world-class reputation in the field of philosophical logic.  ...  The history of relevance logic cannot be written without mentioning J. Michael Dunn who played a prominent role in shaping this area of logic.  ...  Dunn and Meyer in [40] introduced sequent calculi in which structural rules are fully supplanted by combinatory rules, hence the name "structurally free logics" for this group of logics.  ... 
doi:10.1017/bsl.2021.65 fatcat:x5qcskvjbvb6ney66naur2icve

Independent Bases of Admissible Rules

E. Jerabek
2008 Logic Journal of the IGPL  
We show that IPC , K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules.  ...  Table 2 : 2 bases of admissible rules for basic transitive logics  ...  The known bases of rules admissible in these logics from [7, 14, 10] are not independent, as they consist of increasing (with respect to logical consequence) chains of rules.  ... 
doi:10.1093/jigpal/jzn004 fatcat:5uwvxesrcbdi7okaqm5zzjvv6m

The lattice of Belnapian modal logics: Special extensions and counterparts

Sergei P. Odintsov, Stanislav O. Speranski
2016 Logic and Logical Philosophy  
We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes (or rather sublattices) of so-called explosive, complete and classical Belnapian modal logics;  ...  • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts.  ...  We would like to thank an anonymous referee for valuable comments on an earlier version of the manuscript.  ... 
doi:10.12775/llp.2016.002 fatcat:ihkouvildbdw3nzif7gugb3k5q

A plea for KR

Alison Duncan Kerr
2019 Synthese  
In the third section, I offer an argument for KR over classical logic: KR has none of the genuine paradoxes of implication.  ...  In the first section, I introduce relevant logics, the common argument for them, and the superrelevant logics like KR. I explain how KR differs from R and CL.  ...  distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in  ... 
doi:10.1007/s11229-019-02265-y fatcat:kxnlpi3yxnalblqtsotmdbnr7m

Relevance Logic [chapter]

J. Michael Dunn, Greg Restall
2002 Handbook of Philosophical Logic  
I also wish to thank Yong Auh for his patient and skilful help in preparing this manuscript, and to thank Nuel Belnap, Lloyd Humberstone, and Allen Hazen for corrections, although all errors and infelicities  ...  ACKNOWLEDGEMENTS Dunn's acknowledgements from the first edition: I wish to express my thanks and deep indebtedness to a number of fellow toilers in the relevant vineyards, for information and discussion  ...  At the very least the Lewis argument is circular (and not independent). 13 The Admissibility of γ Certain rules of inference are sometimes 'admissible' in formal logics in the sense that whenever the  ... 
doi:10.1007/978-94-017-0460-1_1 fatcat:is6ntpny6rciznjjn6yhbneo4m

Page 86 of Mathematical Reviews Vol. 32, Issue Index [page]

Mathematical Reviews  
Independent bases for rules admissible in pretabular logics. (English summary) 2000f:03059 — (with Gencer, Cigzdem; Oner, Tahsin) Description of modal logics inheriting admissible rules for S4.  ...  (English summary) 2000g:03050 — An explicit basis for rules admissible in modal system $4.  ... 

Page 99 of Mathematical Reviews Vol. , Issue Subject Index [page]

Mathematical Reviews  
R.; Terziler, Mehmet) Independent bases for admissible rules in pretable logics. (Russian. Russian summary) 2001f:03047 — (with Terziler, Mehmet; Gencer, C.)  ...  Inference rules with metavariables, and logical equations in the pretabular modal logic PM1. (Russian.  ... 

Page 1626 of Mathematical Reviews Vol. 32, Issue Index [page]

Mathematical Reviews  
Independent bases for rules admissible in pretabular logics. (English summary) Log. J. IGPL 7 (1999), no. 2, 253-266. (A. Yu.  ...  Plotkin) 2000g:03050 03B45 (03B25) — An explicit basis for rules admissible in modal system S4. (English summary) Bull. Sect. Logic Univ. Lodz 28 (1999), no. 3, 135-143.  ... 

Normal monomodal logics can simulate all others

Marcus Kracht, Frank Wolter
1999 Journal of Symbolic Logic (JSL)  
As a consequence many old and new results in modal logic can be derived in a straightforward way, sheding new light on the power of normal monomodal logic.  ...  This paper shows that non-normal modal logics can be simulated by certain polymodal normal logics and that polymodal normal logics can be simulated by monomodal (normal) logics.  ...  The first to thank is an anonymous referee for a number  ... 
doi:10.2307/2586754 fatcat:i6xg5byj4zbgjhgzy4n6axwli4

Page 967 of Mathematical Reviews Vol. , Issue Author Index [page]

Mathematical Reviews  
.; Terziler, Mehmet) Independent bases for admissible rules in pretable logics. (Russian.  ...  (Summary) 2001f:03047 03B45 (03B55) — Inference rules with metavariables, and logical equations in the pretabular modal logic PMI. (Russian. Russian summary) Sibirsk. Mat.  ... 

Microdata [chapter]

2012 Statistical Disclosure Control  
The publisher is not associated with any product or vendor mentioned in this book.  ...  It is sold on the understanding that the publisher is not engaged in rendering professional services.  ...  The authors are grateful for the highly appreciated cooperation with their colleagues from both the statistical offices and the universities.  ... 
doi:10.1002/9781118348239.ch3 fatcat:cnplzqtu6zdzbffhzgfiiqjgma

Fibrations of predicates and bicategories of relations [article]

Finn Lawler
2015 arXiv   pre-print
We reconcile the two different category-theoretic semantics of regular theories in predicate logic.  ...  A strict 2-category of equipments, over locally discrete base bicategories, is identified, and cartesian equipments are defined to be the cartesian objects in this 2-category.  ...  Regular logic Regular logic is the fragment of first-order predicate logic that uses only the connectives ⊤ for truth, ∧ for conjunction and ∃ for existential quantification.  ... 
arXiv:1502.08017v1 fatcat:5swef3st7nhjno22qbt2mettyu