Results 231 to 240 of about 3,184,608 (250)
Some of the next articles are maybe not open access.
Skolemization in intermediate logics with the finite model property
Logic Journal of the IGPL, 2016M. Baaz, Rosalie Iemhoff
semanticscholar +1 more source
Proof analysis in intermediate logics
Archive for Mathematical Logic, 2012R. Dyckhoff, Sara Negri
semanticscholar +1 more source
A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
Journal of Symbolic Logic (JSL), 1974D. Gabbay, D. de Jongh
semanticscholar +1 more source
Applications of trees to intermediate logics
Journal of Symbolic Logic (JSL), 1972D. Gabbay
semanticscholar +1 more source
Hypersequents, logical consequence and intermediate logics for concurrency
Annals of Mathematics and Artificial Intelligence, 1991A. Avron
semanticscholar +1 more source
Prefinitely axiomatizable modal and intermediate logics
Mathematical Logic Quarterly, 1993Marcus Kracht
exaly
A note on admissible rules and the disjunction property in intermediate logics
Archive for Mathematical Logic, 2011A. Citkin
semanticscholar +1 more source