The following pages link to Mitio Takano (Q332075):
Displayed 36 items.
- Gentzenization of trilattice logics (Q332076) (← links)
- Interpolation theorem in many-valued logics with designated values (Q911578) (← links)
- A semantical investigation into Leśniewski's axiom of his ontology (Q1078168) (← links)
- Existence of the least and the greatest elements of a subset of the Lindenbaum algebra (Q1086230) (← links)
- On intuitionistic many-valued logics (Q1094408) (← links)
- Another proof of the strong completeness of the intuitionistic fuzzy logic (Q1099155) (← links)
- Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic (Q1105584) (← links)
- Ordered sets R and Q as bases of Kripke models (Q1109762) (← links)
- Cut-free systems for three-valued modal logics (Q1203764) (← links)
- Sequent calculi for three-valued logics (Q1277163) (← links)
- Strong completeness of lattice-valued logic (Q1407553) (← links)
- Finite model property for an intuitionistic modal logic (Q1428978) (← links)
- Proof theory for minimal quantum logic: A remark (Q1894594) (← links)
- A modified subformula property for the modal logic KC4 (Q2027110) (← links)
- A syntactical study of the subminimal logic with Nelson negation (Q2479743) (← links)
- An interpolation theorem in many-valued logic (Q3028980) (← links)
- Completeness of a cut-free calculus with equality and function constants (Q3712336) (← links)
- Extending the Family of Intuitionistic Many-Valued Logics Introduced by Rousseau (Q3768877) (← links)
- Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order (Q3792660) (← links)
- (Q3830980) (← links)
- Valid Sequents in Many-Valued Logics (Q3884092) (← links)
- Intermediate predicate logics determined by ordinals (Q3970346) (← links)
- Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology (Q3982861) (← links)
- (Q4025000) (← links)
- (Q4032549) (← links)
- (Q4262065) (← links)
- A Sequent Calculus for the Lesniewskian Modal Logic (Q4306544) (← links)
- Subformula property in many-valued modal logics (Q4323041) (← links)
- (Q4443189) (← links)
- Axiomatization of a Basic Logic of Logical Bilattices (Q4591500) (← links)
- A semantical analysis of cut-free calculi for modal logics (Q4627724) (← links)
- (Q4648720) (← links)
- New Modification of the Subformula Property for a Modal Logic (Q5147750) (← links)
- (Q5169621) (← links)
- A Modified Subformula Property for the Modal Logic S4.2 (Q5241399) (← links)
- A modified subformula property for the modal logic KG1 (Q6166030) (← links)