×

zbMATH — the first resource for mathematics

Meyer, Robert Kenneth

Compute Distance To:
Author ID: meyer.robert-k Recent zbMATH articles by "Meyer, Robert Kenneth"
Published as: Meyer, Robert K.; Meyer, R. K.; Meyer, R.; Meyer, Robert
External Links: MGP · Wikidata
Documents Indexed: 112 Publications since 1966, including 3 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

80 Publications have been cited 729 times in 384 Documents Cited by Year
Relevant logics and their rivals. Part I: The basic philosophical and semantical theory. Zbl 0579.03011
Routley, Richard; Plumwood, Val; Meyer, Robert K.; Brady, Ross T.
82
1982
The semantics of entailment. III. Zbl 0317.02019
Routley, Richard; Meyer, Robert K.
57
1972
The semantics of entailment. Zbl 0317.02017
Routley, Richard; Meyer, Robert K.
54
1973
The semantics of entailment. II. Zbl 0317.02018
Routley, Richard; Meyer, Robert K.
42
1972
Algebraic analysis of entailment. I. Zbl 0336.02020
Meyer, Robert K.; Routley, Richard
29
1972
Algebraic completeness results for Dummett’s LC and its extensions. Zbl 0252.02018
Dunn, J. Michael; Meyer, Robert K.
29
1971
Automated theorem-proving in non-classical logics. Zbl 0682.68097
Thistlewaite, Paul B.; McRobbie, Michael A.; Meyer, Robert K.
26
1988
Combinators and structurally free logic. Zbl 0878.03008
Dunn, J. Michael; Meyer, Robert K.
20
1997
Classical relevant logics. I. Zbl 0316.02029
Meyer, Robert K.; Routley, Richard
20
1973
Classical relevant logics. II. Zbl 0316.02030
Meyer, Robert K.; Routley, Richard
19
1974
Completeness of relevant quantification theories. Zbl 0272.02028
Meyer, Robert K.; Dunn, J. Michael; Leblanc, Hugues
19
1974
Curry’s paradox. Zbl 0411.03019
Meyer, Robert K.; Routley, Richard; Dunn, J. Michael
18
1979
E, R and \(\gamma\). Zbl 0274.02008
Meyer, Robert K.; Dunn, J. Michael
16
1969
A free boundary problem for the \(p\)-Laplacian: uniqueness, convexity, and successive approximation of solutions. Zbl 0820.35037
Acker, A.; Meyer, R.
14
1995
On the ternary relation and conditionality. Zbl 1260.03049
Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard
13
2012
Conservative extension in relevant implication. Zbl 0273.02019
Meyer, Robert K.
13
1973
Inconsistent models for relevant arithmetics. Zbl 0599.03015
Meyer, Robert K.; Mortensen, Chris
12
1984
Metacompleteness. Zbl 0232.02015
Meyer, Robert K.
11
1976
Solution to the P-W problem. Zbl 0498.03011
Martin, E. P.; Meyer, R. K.
11
1982
Abelian logic (from A to Z). Zbl 0694.03019
Meyer, R. K.; Slaney, J. K.
10
1989
Improved decision procedures for pure relevant logic. Zbl 1023.03014
Meyer, Robert K.
9
2001
Logic on the Australian plan. Zbl 0614.03006
Meyer, Robert K.; Martin, Errol P.
9
1986
\(R_ I\)-The bounds of finitude. Zbl 0206.27501
Meyer, R. K.
9
1970
Where gamma fails. Zbl 0586.03016
Meyer, Robert K.; Giambrone, Steve; Brady, Ross T.
9
1984
Intuitionism, entailment, negation. Zbl 0317.02016
Meyer, Robert K.
8
1973
On conserving positive logics. Zbl 0251.02029
Meyer, Robert K.
8
1973
The semantics of entailment omega. Zbl 1042.03019
Dezani-Ciancaglini, Mariangiola; Meyer, Robert K.; Motohama, Yoko
8
2002
The finite model property for BCK and BCIW. Zbl 0787.03020
Meyer, Robert K.; Ono, Hiroakira
7
1994
Universally free logic and standard quantification theory. Zbl 0175.26103
Meyer, R. K.; Lambert, K.
7
1968
New axiomatics for relevant logics. I. Zbl 0278.02025
Meyer, Robert K.
7
1974
Whither relevant arithmetic? Zbl 0761.03009
Friedman, Harvey; Meyer, Robert K.
6
1992
A structurally complete fragment of relevant logic. Zbl 0798.03019
Slaney, John K.; Meyer, Robert K.
6
1992
Relevant logics. Zbl 0999.03021
Mares, Edwin D.; Meyer, Robert K.
6
2001
Every sentential logic has a two-valued worlds semantics. Zbl 0347.02016
Routley, Richard; Meyer, Robert K.
6
1976
Independent axioms for the implicational fragment of Sobocinski’s three- valued logic. Zbl 0261.02011
Meyer, Robert K.; Parks, Zane
6
1972
Relevant logics and their rivals. Vol. II. A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady. Edited by Ross Brady. Zbl 1398.03011
Sylvan, Richard; Meyer, Robert K.; Plumwood, Val; Brady, Ross T.
6
2003
Sentential constants in R and \(R^{\neg}\). Zbl 0624.03014
Meyer, Robert K.
5
1986
The admissibility of \(\gamma\) in R4. Zbl 0767.03011
Mares, Edwin D.; Meyer, Robert K.
5
1992
E and S4. Zbl 0182.00504
Meyer, R. K.
5
1970
A result for combinators, BCK logics and BCK algebras. Zbl 0574.03004
Bunder, M. W.; Meyer, R. K.
5
1985
Kripke, Belnap, Urquhart and relevant decidability \(\&\) complexity. “Das ist nicht Mathematik. Das ist Theologie”. Zbl 0939.03026
Riche, Jacques; Meyer, Robert K.
4
1999
Ternary relations and relevant semantics. Zbl 1060.03039
Meyer, Robert K.
4
2004
Entailment and relevant implication. Zbl 0186.00601
Meyer, R. K.
4
1968
The semantics of \(R4\). Zbl 0767.03010
Mares, Edwin D.; Meyer, Robert K.
3
1993
The semantics of entailment 0. Zbl 0941.03523
Meyer, Robert K.; Mares, Edwin D.
3
1994
S5–the poor man’s connexive implication. Zbl 0377.02024
Meyer, Robert K.
3
1977
Implementing the ‘Fool’s model’ of combinatory logic. Zbl 0749.03007
Meyer, Robert K.; Bunder, Martin W.; Powers, Lawrence
3
1991
A liberated version of S5. Zbl 0193.29202
Lambert, Karel; Leblanc, Hugues; Meyer, Robert
3
1969
On conserving positive logics. Zbl 0225.02019
Meyer, Robert K.
3
1972
Linear arithmetic desecsed. Zbl 0969.03069
Slaney, John K.; Meyer, Robert K.; Restall, Greg
2
1996
Basic relevant theories for combinators at levels I and II. Zbl 1073.03011
Pal, Koushik; Meyer, Robert K.
2
2005
“Strenge” arithmetics. Zbl 1014.03055
Meyer, Robert K.; Restall, Greg
2
1999
A, still adorable. Zbl 1033.03019
Meyer, Robert K.; Slaney, John K.
2
2002
Advanced theorem-proving techniques for relevant logics. Zbl 0612.03011
Thistlewaite, P. B.; Meyer, R. K.; McRobbie, M. A.
2
1985
A farewell to entailment. Zbl 0624.03003
Meyer, Robert K.
2
1985
A general Gentzen system for implicational calculi. Zbl 0364.02010
Meyer, Robert K.
2
1976
On the inconsistency of systems similar to \(\mathcal F^*_{21}\). Zbl 0394.03022
Bunder, M. W.; Meyer, R. K.
2
1978
On coherence in modal logics. Zbl 0239.02011
Meyer, Robert K.
2
1971
Choice and descriptions in enriched intensional languages. I. Zbl 0285.02023
Routley, R.; Meyer, R. K.; Goddard, L.
2
1974
Pure denumerable Łukasiewiczian implication. Zbl 0148.00605
Meyer, R. K.
2
1966
Pure three valued Lukasiewiczian implication. Zbl 0154.25505
McCall, S.; Meyer, R. K.
2
1966
Towards efficient “knowledge-based” automated theorem proving for non- standard logics. Zbl 0651.03005
McRobbie, Michael A.; Meyer, Robert K.; Thistlewaite, Paul B.
2
1988
The relevant equivalence property. Zbl 1128.03012
Humberstone, Lloyd; Meyer, Robert K.
2
2007
Completeness and conservative extension results for some Boolean relevant logics. Zbl 0694.03012
Giambrone, Steve; Meyer, Robert K.
2
1989
Peirced clean through. Zbl 0713.03010
Meyer, Robert K.
2
1990
Truth translations of basic relevant logics. Zbl 1245.03028
Meyer, Robert K.; Motohama, Yoko; Bono, Viviana
1
2005
\(\supset\)E is admissible in “true” relevant arithmetic. Zbl 0967.03016
Meyer, Robert K.
1
1998
In memoriam: Richard (Routley) Sylvan, 1935–1996. Zbl 0913.01042
Meyer, Robert K.
1
1998
Career induction stops here (and here =2). Zbl 0429.03035
Meyer, Robert K.
1
1979
Conservative extension in relevant arithmetic. Zbl 0599.03016
Meyer, Robert K.; Urbas, Igor
1
1986
A contractionless semilattice semantics. Zbl 0624.03015
Giambrone, Steve; Meyer, Robert K.; Urquhart, Alasdair
1
1987
A note on R\(\rightarrow\) matrices. Zbl 0536.03009
Meyer, Robert K.
1
1983
The fundamental S-theorem - A corollary. Zbl 0538.03017
Meyer, Robert K.; Martin, Errol P.; Dwyer, Robert
1
1983
First degree formulas in Curry’s LD. Zbl 0339.02021
Meyer, Robert K.
1
1977
Towards a general semantical theory of implication and conditionals. II. Improved negation theory and propositional identity. Zbl 0394.03028
Routley, Richard; Meyer, Robert K.
1
1977
Open formulas and the empty domain. Zbl 0181.29801
Leblanc, H.; Meyer, R. K.
1
1969
On prefacing (\(\forall\)X)A \(\supset\) A(Y/X) with (\(\forall\)A). A free quantification theory without identity. Zbl 0225.02021
Leblanc, H.; Meyer, R. K.
1
1970
An undecidable relevant logic. Zbl 0301.02024
Meyer, Robert K.; Routley, Richard
1
1973
The application of differential geometry to ray acoustics in inhomogeneous and moving media. Zbl 0462.76083
Meyer, R.; Schroeter, G.
1
1981
On the philosophical bases of relevant logic semantics. Zbl 0513.03002
Routley, R.; Routley, V.; Meyer, R. K.; Martin, E. P.
1
1982
On the ternary relation and conditionality. Zbl 1260.03049
Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard
13
2012
The relevant equivalence property. Zbl 1128.03012
Humberstone, Lloyd; Meyer, Robert K.
2
2007
Basic relevant theories for combinators at levels I and II. Zbl 1073.03011
Pal, Koushik; Meyer, Robert K.
2
2005
Truth translations of basic relevant logics. Zbl 1245.03028
Meyer, Robert K.; Motohama, Yoko; Bono, Viviana
1
2005
Ternary relations and relevant semantics. Zbl 1060.03039
Meyer, Robert K.
4
2004
Relevant logics and their rivals. Vol. II. A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady. Edited by Ross Brady. Zbl 1398.03011
Sylvan, Richard; Meyer, Robert K.; Plumwood, Val; Brady, Ross T.
6
2003
The semantics of entailment omega. Zbl 1042.03019
Dezani-Ciancaglini, Mariangiola; Meyer, Robert K.; Motohama, Yoko
8
2002
A, still adorable. Zbl 1033.03019
Meyer, Robert K.; Slaney, John K.
2
2002
Improved decision procedures for pure relevant logic. Zbl 1023.03014
Meyer, Robert K.
9
2001
Relevant logics. Zbl 0999.03021
Mares, Edwin D.; Meyer, Robert K.
6
2001
Kripke, Belnap, Urquhart and relevant decidability \(\&\) complexity. “Das ist nicht Mathematik. Das ist Theologie”. Zbl 0939.03026
Riche, Jacques; Meyer, Robert K.
4
1999
“Strenge” arithmetics. Zbl 1014.03055
Meyer, Robert K.; Restall, Greg
2
1999
\(\supset\)E is admissible in “true” relevant arithmetic. Zbl 0967.03016
Meyer, Robert K.
1
1998
In memoriam: Richard (Routley) Sylvan, 1935–1996. Zbl 0913.01042
Meyer, Robert K.
1
1998
Combinators and structurally free logic. Zbl 0878.03008
Dunn, J. Michael; Meyer, Robert K.
20
1997
Linear arithmetic desecsed. Zbl 0969.03069
Slaney, John K.; Meyer, Robert K.; Restall, Greg
2
1996
A free boundary problem for the \(p\)-Laplacian: uniqueness, convexity, and successive approximation of solutions. Zbl 0820.35037
Acker, A.; Meyer, R.
14
1995
The finite model property for BCK and BCIW. Zbl 0787.03020
Meyer, Robert K.; Ono, Hiroakira
7
1994
The semantics of entailment 0. Zbl 0941.03523
Meyer, Robert K.; Mares, Edwin D.
3
1994
The semantics of \(R4\). Zbl 0767.03010
Mares, Edwin D.; Meyer, Robert K.
3
1993
Whither relevant arithmetic? Zbl 0761.03009
Friedman, Harvey; Meyer, Robert K.
6
1992
A structurally complete fragment of relevant logic. Zbl 0798.03019
Slaney, John K.; Meyer, Robert K.
6
1992
The admissibility of \(\gamma\) in R4. Zbl 0767.03011
Mares, Edwin D.; Meyer, Robert K.
5
1992
Implementing the ‘Fool’s model’ of combinatory logic. Zbl 0749.03007
Meyer, Robert K.; Bunder, Martin W.; Powers, Lawrence
3
1991
Peirced clean through. Zbl 0713.03010
Meyer, Robert K.
2
1990
Abelian logic (from A to Z). Zbl 0694.03019
Meyer, R. K.; Slaney, J. K.
10
1989
Completeness and conservative extension results for some Boolean relevant logics. Zbl 0694.03012
Giambrone, Steve; Meyer, Robert K.
2
1989
Automated theorem-proving in non-classical logics. Zbl 0682.68097
Thistlewaite, Paul B.; McRobbie, Michael A.; Meyer, Robert K.
26
1988
Towards efficient “knowledge-based” automated theorem proving for non- standard logics. Zbl 0651.03005
McRobbie, Michael A.; Meyer, Robert K.; Thistlewaite, Paul B.
2
1988
A contractionless semilattice semantics. Zbl 0624.03015
Giambrone, Steve; Meyer, Robert K.; Urquhart, Alasdair
1
1987
Logic on the Australian plan. Zbl 0614.03006
Meyer, Robert K.; Martin, Errol P.
9
1986
Sentential constants in R and \(R^{\neg}\). Zbl 0624.03014
Meyer, Robert K.
5
1986
Conservative extension in relevant arithmetic. Zbl 0599.03016
Meyer, Robert K.; Urbas, Igor
1
1986
A result for combinators, BCK logics and BCK algebras. Zbl 0574.03004
Bunder, M. W.; Meyer, R. K.
5
1985
Advanced theorem-proving techniques for relevant logics. Zbl 0612.03011
Thistlewaite, P. B.; Meyer, R. K.; McRobbie, M. A.
2
1985
A farewell to entailment. Zbl 0624.03003
Meyer, Robert K.
2
1985
Inconsistent models for relevant arithmetics. Zbl 0599.03015
Meyer, Robert K.; Mortensen, Chris
12
1984
Where gamma fails. Zbl 0586.03016
Meyer, Robert K.; Giambrone, Steve; Brady, Ross T.
9
1984
A note on R\(\rightarrow\) matrices. Zbl 0536.03009
Meyer, Robert K.
1
1983
The fundamental S-theorem - A corollary. Zbl 0538.03017
Meyer, Robert K.; Martin, Errol P.; Dwyer, Robert
1
1983
Relevant logics and their rivals. Part I: The basic philosophical and semantical theory. Zbl 0579.03011
Routley, Richard; Plumwood, Val; Meyer, Robert K.; Brady, Ross T.
82
1982
Solution to the P-W problem. Zbl 0498.03011
Martin, E. P.; Meyer, R. K.
11
1982
On the philosophical bases of relevant logic semantics. Zbl 0513.03002
Routley, R.; Routley, V.; Meyer, R. K.; Martin, E. P.
1
1982
The application of differential geometry to ray acoustics in inhomogeneous and moving media. Zbl 0462.76083
Meyer, R.; Schroeter, G.
1
1981
Curry’s paradox. Zbl 0411.03019
Meyer, Robert K.; Routley, Richard; Dunn, J. Michael
18
1979
Career induction stops here (and here =2). Zbl 0429.03035
Meyer, Robert K.
1
1979
On the inconsistency of systems similar to \(\mathcal F^*_{21}\). Zbl 0394.03022
Bunder, M. W.; Meyer, R. K.
2
1978
S5–the poor man’s connexive implication. Zbl 0377.02024
Meyer, Robert K.
3
1977
First degree formulas in Curry’s LD. Zbl 0339.02021
Meyer, Robert K.
1
1977
Towards a general semantical theory of implication and conditionals. II. Improved negation theory and propositional identity. Zbl 0394.03028
Routley, Richard; Meyer, Robert K.
1
1977
Metacompleteness. Zbl 0232.02015
Meyer, Robert K.
11
1976
Every sentential logic has a two-valued worlds semantics. Zbl 0347.02016
Routley, Richard; Meyer, Robert K.
6
1976
A general Gentzen system for implicational calculi. Zbl 0364.02010
Meyer, Robert K.
2
1976
Classical relevant logics. II. Zbl 0316.02030
Meyer, Robert K.; Routley, Richard
19
1974
Completeness of relevant quantification theories. Zbl 0272.02028
Meyer, Robert K.; Dunn, J. Michael; Leblanc, Hugues
19
1974
New axiomatics for relevant logics. I. Zbl 0278.02025
Meyer, Robert K.
7
1974
Choice and descriptions in enriched intensional languages. I. Zbl 0285.02023
Routley, R.; Meyer, R. K.; Goddard, L.
2
1974
The semantics of entailment. Zbl 0317.02017
Routley, Richard; Meyer, Robert K.
54
1973
Classical relevant logics. I. Zbl 0316.02029
Meyer, Robert K.; Routley, Richard
20
1973
Conservative extension in relevant implication. Zbl 0273.02019
Meyer, Robert K.
13
1973
Intuitionism, entailment, negation. Zbl 0317.02016
Meyer, Robert K.
8
1973
On conserving positive logics. Zbl 0251.02029
Meyer, Robert K.
8
1973
An undecidable relevant logic. Zbl 0301.02024
Meyer, Robert K.; Routley, Richard
1
1973
The semantics of entailment. III. Zbl 0317.02019
Routley, Richard; Meyer, Robert K.
57
1972
The semantics of entailment. II. Zbl 0317.02018
Routley, Richard; Meyer, Robert K.
42
1972
Algebraic analysis of entailment. I. Zbl 0336.02020
Meyer, Robert K.; Routley, Richard
29
1972
Independent axioms for the implicational fragment of Sobocinski’s three- valued logic. Zbl 0261.02011
Meyer, Robert K.; Parks, Zane
6
1972
On conserving positive logics. Zbl 0225.02019
Meyer, Robert K.
3
1972
Algebraic completeness results for Dummett’s LC and its extensions. Zbl 0252.02018
Dunn, J. Michael; Meyer, Robert K.
29
1971
On coherence in modal logics. Zbl 0239.02011
Meyer, Robert K.
2
1971
\(R_ I\)-The bounds of finitude. Zbl 0206.27501
Meyer, R. K.
9
1970
E and S4. Zbl 0182.00504
Meyer, R. K.
5
1970
On prefacing (\(\forall\)X)A \(\supset\) A(Y/X) with (\(\forall\)A). A free quantification theory without identity. Zbl 0225.02021
Leblanc, H.; Meyer, R. K.
1
1970
E, R and \(\gamma\). Zbl 0274.02008
Meyer, Robert K.; Dunn, J. Michael
16
1969
A liberated version of S5. Zbl 0193.29202
Lambert, Karel; Leblanc, Hugues; Meyer, Robert
3
1969
Open formulas and the empty domain. Zbl 0181.29801
Leblanc, H.; Meyer, R. K.
1
1969
Universally free logic and standard quantification theory. Zbl 0175.26103
Meyer, R. K.; Lambert, K.
7
1968
Entailment and relevant implication. Zbl 0186.00601
Meyer, R. K.
4
1968
Pure denumerable Łukasiewiczian implication. Zbl 0148.00605
Meyer, R. K.
2
1966
Pure three valued Lukasiewiczian implication. Zbl 0154.25505
McCall, S.; Meyer, R. K.
2
1966
all top 5

Cited by 266 Authors

21 Robles, Gemma
20 Brady, Ross Thomas
19 Meyer, Robert Kenneth
18 Dunn, Jon Michael
17 Mares, Edwin D.
16 Bimbó, Katalin
11 Raftery, James G.
11 Restall, Greg
11 Sylvan, Richard
9 Humberstone, Lloyd
9 Maksimova, Larisa L’vovna
7 Priest, Graham
6 Seki, Takahiro
6 Weber, Zach
5 Došen, Kosta
5 Ferguson, Thomas Macaulay
5 Slaney, John K.
4 Avron, Arnon
4 Dezani-Ciancaglini, Mariangiola
4 Moraschini, Tommaso
4 Salto, Francisco
4 Wansing, Heinrich Theodor
3 Badia, Guillermo
3 Beall, Jc
3 Bunder, Martin W.
3 Fuhrmann, Andre T.
3 Giambrone, Steve
3 Goble, Lou
3 Kamide, Norihiro
3 Kremer, Philip
3 Maddux, Roger D.
3 McRobbie, Michael A.
3 Odintsov, Sergei P.
3 Paoli, Francesco
3 Ripley, David
3 Rogerson, Susan
3 Urquhart, Alasdair
3 Wannenburg, Johann J.
3 Weiss, Yale
3 Yang, Eunsuk
3 Yun, Veta Fëdorovna
2 Akama, Seiki
2 Batens, Diderik
2 Bezhanishvili, Guram
2 Bianchi, Matteo
2 Blok, Willem Johannes
2 Ciabattoni, Agata
2 Da Costa, Newton Carneiro Affonso
2 de’Liguoro, Ugo
2 Fermüller, Christian G.
2 Freeman, James B.
2 Fussner, Wesley
2 Gabbay, Dov M.
2 Galatos, Nikolaos
2 Goldblatt, Robert Ian
2 Hartonas, Chrysafis
2 Hazen, Allen P.
2 Hindley, J. Roger
2 Hirokawa, Sachio
2 Jenei, Sándor
2 Lance, Mark Norris
2 McKubre-Jordens, Maarten
2 Morgan, Charles Grady
2 Mortensen, Chris
2 Motohama, Yoko
2 Øgaard, Tore Fjetland
2 Olson, Jeffrey S.
2 Onishi, Takuro
2 Preining, Norbert
2 Pym, David J.
2 Slater, Barry Hartley
2 Straßburger, Lutz
2 Suzuki, Tomoyuki
2 Tedder, Andrew
2 Terui, Kazushige
2 Tofts, Chris
2 Venneri, Betti
1 Allo, Patrick
1 Allwein, Gerard
1 Antonelli, Gian Aldo
1 Arai, Toshiyasu
1 Arieli, Ofer
1 Arruda, Ayda Ignez
1 Asmus, C. M.
1 Azzouni, Jody
1 Baaz, Matthias
1 Bacon, John B.
1 Baker, Kirby A.
1 Baldi, Michele Pra
1 Barbanera, Franco
1 Becchio, Denise
1 Beckmann, Arnold
1 Belnap, Nuel D. jun.
1 Bencivenga, Ermanno
1 Berardi, Stefano
1 Berto, Francesco
1 Bettini, Lorenzo
1 Bhave, S. V.
1 Blackburn, Patrick
1 Blanco, José M.
...and 166 more Authors
all top 5

Cited in 50 Serials

75 Journal of Philosophical Logic
73 Studia Logica
20 The Journal of Symbolic Logic
20 Notre Dame Journal of Formal Logic
15 Journal of Applied Non-Classical Logics
15 The Review of Symbolic Logic
13 The Bulletin of Symbolic Logic
11 Theoretical Computer Science
10 Journal of Automated Reasoning
9 Logica Universalis
8 Synthese
8 Logic and Logical Philosophy
6 Algebra and Logic
6 Journal of Logic, Language and Information
5 Algebra Universalis
5 History and Philosophy of Logic
4 Topoi
3 Archiv für Mathematische Logik und Grundlagenforschung
2 Fuzzy Sets and Systems
2 Journal of Pure and Applied Algebra
2 Siberian Mathematical Journal
2 Annals of Pure and Applied Logic
2 MSCS. Mathematical Structures in Computer Science
2 Archive for Mathematical Logic
2 Mathematical Logic Quarterly (MLQ)
2 Soft Computing
1 Artificial Intelligence
1 Communications in Algebra
1 Discrete Mathematics
1 Mathematical Notes
1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
1 Journal of Algebra
1 Mathematische Annalen
1 Transactions of the American Mathematical Society
1 Bulletin of the Section of Logic
1 Order
1 Information and Computation
1 Formal Aspects of Computing
1 International Journal of Algebra and Computation
1 Indagationes Mathematicae. New Series
1 Annals of Mathematics and Artificial Intelligence
1 Erkenntnis
1 ACM Transactions on Computational Logic
1 Journal of Applied Logic
1 Proceedings of the Japan Academy
1 Logical Methods in Computer Science
1 Nôus
1 Journal of Logical and Algebraic Methods in Programming
1 European Journal of Mathematics
1 Philosophical Studies

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.