Search for persons
X
?
Janusz Czelakowski on Logical Consequence; Outstanding Contributions to Logic ,
1
Some More Theorems on Structural Entailment Relations and N..:
, In:
?
Outstanding Contributions to Logic; Arnon Avron on Semantics and Proof Theory of Non-Classical Logics ,
8
On Axioms and Rexpansions:
, In:
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
9
Proof Search on Bilateralist Judgments over Non-determinist..:
, In:
?
Logical Foundations of Computer Science; Lecture Notes in Computer Science ,
11
Computational Properties of Partial Non-deterministic Matri..:
, In:
?
2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL) ,
13
Infectious semantics and analytic calculi for even more inc..:
, In:
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
14