The following pages link to Tsutomu Hosoi (Q1111544):
Displaying 35 items.
- (Q750413) (redirect page) (← links)
- The method of axiomatic rejection for the intuitionistic propositional logic (Q750414) (← links)
- An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz (Q1061733) (← links)
- Completeness theorems for some intermediate predicate calculi (Q1061734) (← links)
- One superintuitionistic calculus of propositions (Q1097259) (← links)
- On maximal intermediate logics with the disjunction property (Q1097260) (← links)
- Applications of weak Kripke semantics to intermediate consequences (Q1097261) (← links)
- Gentzen-type formulation of the propositional logic LQ (Q1111545) (← links)
- Evaluation of Peirce's axiom on intermediate Kripke models and its application (Q1148895) (← links)
- Post's functional completeness theorem (Q1173782) (← links)
- Some syntactical properties of intermediate predicate logics (Q1174672) (← links)
- The Gentzen-Kripke construction of the intermediate logic LQ (Q1187547) (← links)
- Quantified extensions of canonical propositional intermediate logics (Q1207339) (← links)
- A study of intermediate propositional logics on the third slice (Q1208111) (← links)
- The simple substitution property of the intermediate propositional logics on finite slices (Q1208115) (← links)
- Continuality of the set of maximal superintuitionistic logics with the disjunction property (Q1311077) (← links)
- A Gentzen system for conditional logic (Q1327484) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180) (← links)
- Pseudo two-valued evaluation method for intermediate logics (Q1820766) (← links)
- Axiomatization of models for intermediate logics constructed with Boolean models by piling up (Q2555486) (← links)
- (Q3491524) (← links)
- (Q4159025) (← links)
- (Q4326748) (← links)
- (Q4391083) (← links)
- (Q5523672) (← links)
- Algebraic proof of the separation theorem on classical propositional calculus (Q5534906) (← links)
- (Q5537356) (← links)
- The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel (Q5537357) (← links)
- (Q5545944) (← links)
- On the separation theorem of intermediate propositional calculi (Q5553255) (← links)
- Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$ (Q5553256) (← links)
- A criterion for the separable axiomatization of Gödel's $S_n $ (Q5554948) (← links)
- (Q5582306) (← links)
- (Q5619070) (← links)
