Search CORE

10 research outputs found

John T. Baldwin, "Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism."

Author: Bimbó Katalin
Publication venue: 'Consortium Erudit'
Publication date: 01/01/2020
Field of study

Lloyd Strickland and Harry Lewis, (Eds.), "Leibniz on Binary: The Invention of Computer Arithmetic"

Author: Bimbó Katalin
Publication venue: Érudit
Publication date: 01/01/2023
Field of study

Functorial Duality for Ortholattices and De Morgan Lattices

Author: Katalin Bimbó
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

On the decidability of implicational ticket entailment

Author: Anderson
Anderson
Anderson
Anderson
Bimbó
Bimbó
Bimbó
Bimbó
Bimbó
Curry
Dunn
J. Michael Dunn
Katalin Bimbó
Kleene
Kripke
Mares
Meyer
Padovani
Routley
Schönfinkel
Publication venue: 'Association for Symbolic Logic'
Publication date
Field of study

The Church-Rosser property in symmetric combinatory logic

Author: Bimbó
Church
Curry
Curry
Hindley
Hindley
Katalin Bimbó
Meyer
Rosser
Smullyan
Publication venue: 'Association for Symbolic Logic'
Publication date
Field of study

RELEVANCE LOGICS AND RELATION ALGEBRAS

Author: Anderson
Anderson
Bimbó
Bimbó
Brady
Dunn
J. MICHAEL DUNN
Jónsson
KATALIN BIMBÓ
Kowalski
Maddux
Maddux
Mares
Mares
Monk
ROGER D. MADDUX
Routley
Routley
Tarski
Urquhart
van Benthem
van Benthem
Publication venue: 'Cambridge University Press (CUP)'
Publication date
Field of study

Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_\to^{t}}$ L T → t for Implicational Ticket Entailment

Author: A. Urquhart
A. Urquhart
A.R. Anderson
G. Gentzen
G. Pottinger
H. Barendregt
J. Michael Dunn
J.M. Dunn
K. Bimbó
Katalin Bimbó
R.K. Meyer
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Symmetric Generalized Galois Logics

Author: A. Church
A.R. Anderson
B.A. Davey
G. Allwein
G. Restall
H.A. Priestley
J. Lambek
J. Lambek
J. Michael Dunn
J.M. Dunn
J.M. Dunn
J.M. Dunn
J.M. Dunn
J.M. Dunn
J.M. Dunn
J.M. Dunn
K. Bimbó
K. Bimbó
K. Bimbó
Katalin Bimbó
M. Moortgat
M.H. Stone
R.K. Meyer
V.N. Grishin
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Bibliography

Author: Ajdukiewicz Kazimierz
Anderson Alan R.
Anderson Alan R.
Anderson Alan R.
Anderson Alan R.
Barwise Jon
Beall J. C.
Belnap Nuel D.
Belnap Nuel D.
Belnap Nuel D.
Bimbó Katalin
Bimbó Katalin
Bimbó Katalin
Bimbó Katalin
Bimbó Katalin
Birkhoff Garrett
Blackburn Patrick
Boolos George
Brady Ross T.
Buszkowski Wojciech
Buszkowski Wojciech
Chellas Brian F.
Church Alonzo
Church Alonzo
Church Alonzo
Curry Haskell B.
Dragalin Albert G.
Dunn J. Michael
Galatos Nikolaos
Gentzen Gerhard
Gentzen Gerhard
Gentzen Gerhard
Giambrone Steve
Glivenko Valeri I.
Gunderson David S.
Gödel Kurt
Gödel Kurt
Gödel Kurt
Haskell
Howard William A.
Kleene Stephen C.
Kripke Saul A.
Lambek Joachim
McRobbie Michael A.
Mendelson Elliott
Metcalfe George
Michael Dunn J.
Moorgat Michael
Ohnishi Masao
Ohnishi Masao
Palka Ewa
Post Emil L.
Routley Richard
Schönfinkel Moses
Sipser Michael
Surarso Bayu
Takano Mitio
Takeuti Gaisi
Troelstra Anne S.
Ungar Anthony M.
Urquhart Alasdair
Urquhart Alasdair
Urquhart Alasdair
Willem
Publication venue: 'Informa UK Limited'
Publication date
Field of study

Bibliography

Author: Anderson Alan R.
Anderson Alan R.
Anderson Alan R.
Barendregt Henk
Barendregt Henk P.
Belnap Nuel D.
Belnap Nuel D.
Bimbó Katalin
Bimbó Katalin
Bimbó Katalin
Bimbó Katalin
Birkhoff Garrett
Boolos George S.
Brady Ross T.
Bunder Martin W.
Bunder Martin W.
Bunder Martin W.
Bunder Martin W.
Bunder Martin W.
Church Alonzo
Church Alonzo
Church Alonzo
Coppo Mario
Curry Haskell B.
Curry Haskell B.
Curry Haskell B.
Davis Martin
Davis Martin
Dezani-Ciancaglini Mariangiola
Dezani-Ciancaglini Mariangiola
Dunn J. Michael
Dunn J. Michael
Grätzer George
Gödel Kurt
Gödel Kurt
Hankin Chris
Harel David
Haskell
Howard W. A.
Ito Takayasu
Kleene Stephen C.
Klop Jan W.
Klop Jan W.
Mares Edwin D.
Mendelson Elliott
Meyer Robert K.
Meyer Robert K.
Meyer Robert K.
Meyer Robert K.
Michael Dunn J.
Morten
Pal Koushik
Pierce Benjamin C.
Pottinger Garrel
Roberto
Roger Hindley J.
Roger Hindley J.
Rogers Hartley
Routley Richard
Révész György E.
Schönfinkel Moses
Scott Dana
Shankar Natarajan
Sipser Michael
Smullyan Raymond M.
Smullyan Raymond M.
Smullyan Raymond M.
Stoy Joseph E.
Troelstra Anne S.
Yokouchi Hirofumi
Publication venue: 'Informa UK Limited'
Publication date
Field of study

core

core