arXiv:1610.08700 Abstract | arXiv Analytics

arXiv:1610.08700 [math.LO]Abstract References Reviews Resources

Admissibility in Positive Logics

Published 2016-10-27Version 1

The paper studies admissibility of multiple-conclusion rules in the positive logics. Using modification of a method used by M.~Wajsberg in the proof of the separation theorem, it is shown that the problem of admissibility in positive logics is equivalent to the problem of admissibility in intermediate logics defined by positive additional axioms.

Categories: math.LO

Subjects: 03B55, 03B60, 03C05

Keywords: positive logics, paper studies admissibility, separation theorem, intermediate logics, positive additional axioms

Related articles: Most relevant | Search more

arXiv:2209.10039 [math.LO] (Published 2022-09-20)

Intermediate logics in the setting of team semantics

Nick Bezhanishvili, Fan Yang

arXiv:2008.01145 [math.LO] (Published 2020-08-03)

Positive logics

Saharon Shelah, Jouko Väänänen

arXiv:2104.05961 [math.LO] (Published 2021-04-13)

A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras