Minimal logic, ie, intuitionistic logic without the ex falso principle, is investigated in its original
form with a negation symbol instead of a symbol denoting the contradiction. A Kripke …

Starting from the original formulation of minimal propositional logic proposed by Johansson,
this thesis aims to investigate some of its relevant subsystems. The main focus is on …

On Rules | Journal of Philosophical Logic Skip to main content SpringerLink Log in Menu Find
a journal Publish with us Search Cart 1.Home 2.Journal of Philosophical Logic 3.Article On …

We study a temporal logic with non–standard temporal accessibility relations. This logic is
generated by semantic underground models, and any such a model has a base formed by a …

Extensions of Johansson's minimal logic J are considered. It is proved that families of
negative and nontrivial logics and a series of other families are strongly decidable over J …

Admissible Bases Via Stable Canonical Rules Page 1 Nick Bezhanishvili David Gabelaia
Silvio Ghilardi Mamuka Jibladze Admissible Bases Via Stable Canonical Rules Abstract. We …

Game semantics provides an alternative view on basic logical concepts. Provability games,
ie, games for the validity of a formula provide a link between proof systems and semantics …

При задании логик с помощью логических исчислений возникают естественные
алгоритмические проблемы распознавания свойств по аксиомам и правилам вывода. В …

A new hierarchy of" exact" unification types is introduced, motivated by the study of
admissible rules for equational classes and non-classical logics. In this setting, unifiers of …

Admissible rules are shown to be conservatively preserved by the meet-combination of a
wide class of logics. A basis is obtained for the resulting logic from bases given for the …