Results 1 to 10 of about 32,356 (302)

Strong normalization of a symmetric lambda calculus for second-order classical logic

Archive for Mathematical Logic, 2002
Yoriyuki Yamagata
exaly  

Classical first-order logic

2014
openaire   +1 more source

Classical First-order Logic

2008
openaire   +1 more source

CLASSICAL FIRST-ORDER LOGIC

1998
openaire   +1 more source

Classical Logic in the Quantum Context

Quantum Reports, 2020
Andrea Oldofredi, Oldofredi Andrea
exaly  

Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies

Journal of Computer and System Sciences, 2014
Santiago Figueira, Rafael Grimson
exaly  

Review of Classical First-Order Logic

2008
openaire   +1 more source

Modal Extensions of Classical Logic

Philosophy and Medicine, 2012
Kazem Sadegh-Zadeh, Sadegh-Zadeh Kazem
exaly  

Interpretability of Classical First-Order Logic

2002
openaire   +1 more source

Classical Negation and Expansions of Belnap–Dunn Logic

Studia Logica, 2015
Michael De, Hitoshi Omori, Omori Hitoshi   +2 more
exaly