Претрага
Резултати
The “Relevance” of intersection and union types
[1997]
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia 
; Venneri, Betti
Semi-isolation and the strict order property [2015]
Sudoplatov, Sergey; Tanović, Predrag 
On certain normalizable natural deduction formulations of some propositional intermediate logics
[1988]
Boričić, Branislav
Vaught's Conjecture for Theories of Discretely Ordered Structures [2024]
Tanovic, Predrag N
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus [1991]
Došen, Kosta
A note on the law of identity and the converse parry property [1978]
Došen, Kosta
Some preservation results for classical and intuitionistic satisfiability in kripke models [1983]
Marković, ZoranLogical constants as punctuation marks [1989]
Došen, Kosta
Strong normalization and typability with intersection types
[1996]
Ghilezan, Silvia
Филтери
По типу
- 15