Results 251 to 260 of about 191,691 (287)

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

Journal of Philosophical Logic, 2022
Barteld Kooi
exaly  

Ad theses sequentes

Einblattdruck
openaire   +2 more sources

... Sequentes positiones criminales

... publici exercitii gratia die primo Iunii, horis locoque solitis, propugnabit Ioh.
openaire   +1 more source

Automatic registration of UAV-borne sequent images and LiDAR data

ISPRS Journal of Photogrammetry and Remote Sensing, 2015
Bi-sheng Yang, Chi Chen
exaly  

Sequention

2011
openaire   +1 more source

Sequentes iurium positiones

... pro doctoris in utroque iure gradu, & privilegiis consequendis. publicae disquisitioni subiicit. Nicolaus Schwebel, Bipontinus-Westr. Ad diem ... Februarii. Anno M. DC. XIX.
openaire   +1 more source

Sequent

2018
openaire   +1 more source

Sequent calculi for propositional nonmonotonic logics

ACM Transactions on Computational Logic, 2002
Piero A Bonatti
exaly  

Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics

Studia Logica, 2016
Francesca Poggiolesi
exaly  

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 Giuseppe Fiorino   +2 more
exaly