Jaroslav Peregrin

Publication Activity (10 Years)

Years Active: 1990-2021
Publications (10 Years): 1

Top Topics

Machine Processable

Complete Axiomatization

Cut Elimination

Logical Language

Top Venues

J. Log. Lang. Inf.

Publications

Jaroslav Peregrin
Do Computers "Have Syntax, But No Semantics"? Minds Mach. 31 (2) (2021)
Jaroslav Peregrin
Logic Reduced To Bare (Proof-Theoretical) Bones. J. Log. Lang. Inf. 24 (2) (2015)
Jaroslav Peregrin, Vladimír Svoboda
Criteria for logical formalization. Synth. 190 (14) (2013)
Jaroslav Peregrin
Logic and Natural Selection. Logica Universalis 4 (2) (2010)
Jaroslav Peregrin
Inferentializing Semantics. J. Philos. Log. 39 (3) (2010)
Jaroslav Peregrin
Logic of Inference? Stud Logica 88 (2) (2008)
Jaroslav Peregrin
Review: Logic, Language and Computation, by Seiki Akama (ed.). Prague Bull. Math. Linguistics 73 (2000)
Jaroslav Peregrin
The "Natural" and the "Formal". J. Philos. Log. 29 (1) (2000)
Jaroslav Peregrin
On a logical formalization of natural language. Kybernetika 26 (4) (1990)