Search




Research outputs

Logics for at most countable first-order structures   [2024]

Perovic, Aleksandar M; Ognjanovic, Zoran D  ; Stojanovic, Tatjana P  

Some probability logics with new types of probability operators   [1999]

Ognjanović, Zoran  ; Rašković, Miodrag

Detection and analysis of some redundancies in linear logic sequent proofs   [2013]

Lutovac, Tatjana  ; Harland, J.

An open logical framework   [2016]

Honsell, Furio; Lenisa, Marina; Scagnetto, Ivan; Liquori, Luigi; Maksimovic, Petar

J.P. Cleave, "A Study of Logics" - Oxford University Press, Oxford, 1991   [1993]

Došen, Kosta  

Probability and natural deduction   [2024]

Boricic-Joksimovic, Marija; Ikodinovic, Nebojsa M  ; Stojanovic, Nenad S  

Suppes-style sequent calculus for probability logic   [2015]

Boričić, Marija  

Extended natural deduction images of conversions from the system of sequents   [2004]

Borisavljević, Mirjana  

Probabilistic justification logic   [2020]

Kokkinis, Ioannis; Ognjanović, Zoran  ; Studer, Thomas

Kripke-style semantics and completeness for full simply typed Lambda calculus   [2021]

Kašterović, Simona  ; Ghilezan, Silvia 

Filteri

Po tipu