Results 281 to 290 of about 165,990,627 (290)

Proof Theory for Fuzzy Logics

2009
Gabbay, Dov, Metcalfe, G, Olivetti, N
openaire   +2 more sources

Logic of proofs with substitution

Mathematical Notes, 2007
exaly  

Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic

Theory of Computing Systems, 2007
exaly  

Logic and proof

2018
openaire   +1 more source

Logic and Proofs

2016
openaire   +1 more source

Logic and Proofs

2011
openaire   +1 more source

Proof, Logic

2013
openaire   +1 more source

Proofs and Expressiveness in Alethic Modal Logic

Heinrich Wansing, Maarten de Rijke
exaly  

Normalization of Terms in Sharp Models of Logic of Proofs LP

Moscow University Mathematics Bulletin
exaly  

Proof planning with logic presentations.

2017
openaire   +2 more sources