Search for persons
X
?
Peter Schroeder-Heister on Proof-Theoretic Semantics; Outstanding Contributions to Logic ,
1
Disjunctive Syllogism without Ex falso:
, In:
?
Synthese Library; Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction ,
2
On an Ecumenical Natural Deduction with Stoup. Part I: The ..:
, In:
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
7
A Pure View of Ecumenical Modalities:
, In:
?
Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications ,
9
Ecumenical Modal Logic:
, In:
?
2016 27th International Workshop on Database and Expert Systems Applications (DEXA) ,
15