The following pages link to Hiroakira Ono (Q190257):
Displaying 50 items.
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Residuated lattices. An algebraic glimpse at substructural logics (Q881452) (← links)
- Glivenko theorems revisited (Q1035660) (← links)
- Provably recursive functions in fragments of Peano arithmetic (Q1073791) (← links)
- Interpolation and the Robinson property for logics not closed under the Boolean operations (Q1074573) (← links)
- Semantical analysis of predicate logics without the contraction rule (Q1077403) (← links)
- On finite linear intermediate predicate logics (Q1119624) (← links)
- Equational theories and universal theories of fields (Q1170235) (← links)
- The contraction rule and decision problems for logics without structural rules (Q1181491) (← links)
- A formal system of partial recursive functions (Q1218847) (← links)
- On some intuitionistic modal logics (Q1244216) (← links)
- The finite model property for BCK and BCIW (Q1317904) (← links)
- Closure operators and complete embeddings of residuated lattices (Q1402589) (← links)
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\) (Q1612691) (← links)
- Algebraic aspects of cut elimination (Q1770974) (← links)
- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach (Q1821770) (← links)
- A study of intermediate predicate logics (Q1843560) (← links)
- Splitting in the variety of residuated lattices (Q1866846) (← links)
- Preface to the special issue: Recent developments related to residuated lattices and substructural logics (Q1935567) (← links)
- Glivenko theorems and negative translations in substructural predicate logics (Q1938390) (← links)
- On involutive FL\(_{e}\)-monoids (Q1938395) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- Proof theory and algebra in logic (Q2419910) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Kripke models and intermediate logics (Q2548955) (← links)
- Axiomatization of models for intermediate logics constructed with Boolean models by piling up (Q2555486) (← links)
- On the finite model property for Kripke models (Q2556329) (← links)
- Some results on the intermediate logics (Q2557689) (← links)
- Residuated expansions of lattice-ordered structures (Q2658277) (← links)
- The variety of residuated lattices is generated by its finite simple members (Q2752409) (← links)
- Remarks on splittings in the variety of residuated lattices (Q2752413) (← links)
- Algebraic logic (Q2851820) (← links)
- (Q2939496) (← links)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884) (← links)
- (Q3309811) (← links)
- Glivenko theorems for substructural logics over FL (Q3416119) (← links)
- (Q3466596) (← links)
- (Q3472079) (← links)
- (Q3505077) (← links)
- (Q3509191) (← links)
- Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics (Q3583099) (← links)
- (Q3669380) (← links)
- Logics without the contraction rule (Q3707997) (← links)
- Reflection Principles in Fragments of Peano Arithmetic (Q3745836) (← links)
- (Q3830979) (← links)
- (Q3851587) (← links)
- (Q3966106) (← links)
- Intermediate predicate logics determined by ordinals (Q3970346) (← links)
- A computational complexity of decision procedure for the intuitionistic logic without weakening rule (Q4000672) (← links)
