A Remark on the Intersection of Tow Logics

DOI10.1017/S0027763000011715zbMath0202.29502MaRDI QIDQ5599784

Satoshi Miura

Publication date: 1966

Published in: Nagoya Mathematical Journal (Search for Journal in Brave)

Related Items (13)

Certain Method for Generating a Series of Logics ⋮ The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond ⋮ Complexity of interpolation and related problems in positive calculi ⋮ The projective Beth property in well-composed logics ⋮ Recognizable logics ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) ⋮ Interpolation and definability over the logic Gl ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ On the structure of paraconsistent extensions of Johansson's logic ⋮ On axiomatizing Shramko-Wansing's logic ⋮ A non-inferentialist, anti-realistic conception of logical truth and falsity ⋮ The logic of generalized truth values and the logic of bilattices

Cites Work

• Unnamed Item
• On a Practical Way of Describing Formal Deductions
• A Certain Kind of Formal Theories
• On Universal Character of the Primitive Logic
• The system LD

This page was built for publication: A Remark on the Intersection of Tow Logics