Oriol Valentín

Oriol Valentín

Universitat Politècnica de Catalunya
E-mail megerősítve itt: cs.upc.edu
Idézetek száma: 448
Formal Linguistics Mathematical Logic Syntax-Semantics Interface Type Theory Substructural Logics
Federico Pailos

Federico Pailos

CONICET, Universidad de Buenos Aires, IIF-SADAF
E-mail megerősítve itt: sadaf.org.ar
Idézetek száma: 443
Logic Philosophy of Logic Non-classical logics Substructural logics
Igor Sedlár

Igor Sedlár

Researcher, Institute of Computer Science, The Czech Academy of Sciences; Institute of …
E-mail megerősítve itt: cs.cas.cz
Idézetek száma: 247
Modal Logic Dynamic Logic Epistemic Logic Substructural Logics Knowledge Representation
Seungrak Choi (최승락)

Seungrak Choi (최승락)

Assistant Professor, Hallym University
E-mail megerősítve itt: hallym.ac.kr
Idézetek száma: 22
Proof theory computability theory substructural logics paradoxes
Hermógenes Oliveira

Hermógenes Oliveira

Universidade Federal da Paraíba
E-mail megerősítve itt: academico.ufpb.br
Idézetek száma: 6
proof-theoretic semantics intuitionistic logic substructural logics natural deduction sequent