Pretraga




Rezultati

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

T. Lutovac  ; J. Harland

A logic of interactive proofs   [2022]

Lehnherr, David; Ognjanović, Zoran  ; Studer, Thomas

An open logical framework   [2016]

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

Probability and natural deduction   [2024]

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

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

Došen, Kosta  

Cut elimination and decidability for classical lambek logic   [2008]

Ilić, Mirjana  

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

Došen, Kosta  

Suppes-style sequent calculus for probability logic   [2015]

Boričić, Marija  

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

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

A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol   [2019]

Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran  ; Studer, Thomas

Filteri

Po tipu