Results 281 to 290 of about 28,623 (311)

Two-sided Sequent Calculi for FDE-like Four-valued Logics

Journal of Philosophical Logic, 2022
Barteld Kooi, Allard Tamminga, Kooi Barteld   +2 more
exaly  

... Miscellas sequentes

Enth.
openaire   +2 more sources

Automatic registration of UAV-borne sequent images and LiDAR data

ISPRS Journal of Photogrammetry and Remote Sensing, 2015
Bisheng Yang, Chi Chen
exaly  

Sequent calculi for propositional nonmonotonic logics

ACM Transactions on Computational Logic, 2002
Piero A Bonatti, Nicola Olivetti
exaly  

Sequention

2011
openaire   +1 more source

Pure Sequent Calculi

ACM Transactions on Computational Logic, 2019
Ori Lahav, Yoni Zohar, Lahavori
exaly  

Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics

Studia Logica, 2016
Francesca Poggiolesi, Poggiolesi Francesca   +1 more
exaly  

Sequent

2018
openaire   +1 more source

Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models

Journal of Automated Reasoning, 2012
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino   +2 more
exaly  

... Sequentes Conclusiones

Titelvariante gemäss Mommsen und nach ...
openaire   +1 more source