Search




Research outputs

Detecting loops during proof search in propositional affine logic   [2006]

Lutovac, Tatjana  ; Harland, J.

Rudimentary Beth models conditionally rudimentary Kripke models for the Heyting propositional calculus   [1991]

Došen, Kosta  

A proof-theoretic semantic analysis of dynamic epistemic logic   [2016]

Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta 

Probability and natural deduction   [2024]

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

Cut elimination and decidability for classical lambek logic   [2008]

Ilić, Mirjana  

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

Došen, Kosta  

Detecting Loops During Proof Search in Propositional Affine Logic   [2006]

T. Lutovac  ; J. Harland

An open logical framework   [2016]

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

A system for named entity recognition based on local grammars   [2014]

Krstev, Cvetana ; Obradovi , I.; Utvić, Miloš  ; Vitas, Duško 

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

Ognjanović, Zoran  ; Rašković, Miodrag

Filters

By type