| Publication | Date of Publication | Type |
|---|
Avicenna's logics with sentence-type terms: 1. wholly \textit{muttaṣil} syllogisms
Journal of Logic and Computation | 2025-10-29 | Paper |
| Arabic logic up to Avicenna | 2025-10-22 | Paper |
Meeting Boris Zilber
Model Theory | 2024-08-27 | Paper |
How did Avicenna understand the Barcan formulas?
Logic Journal of the IGPL | 2024-02-20 | Paper |
A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS
The Review of Symbolic Logic | 2023-05-26 | Paper |
Medieval Arabic Notions of Algorithm: Some Further Raw Evidence
Fields of Logic and Computation III | 2022-11-09 | Paper |
A Strongly Differing Opinion on Proof-Theoretic Semantics?
Advances in Proof-Theoretic Semantics | 2022-06-03 | Paper |
| A sixth century elementary introduction to logic | 2020-12-18 | Paper |
Naturality and definability II
Cubo (Temuco) | 2020-06-18 | Paper |
From choosing elements to choosing concepts: the evolution of Feferman's work in model theory
Outstanding Contributions to Logic | 2020-02-05 | Paper |
Remarks on compositionality
Dependence Logic | 2020-02-04 | Paper |
Notes on the history of scope
Logic Without Borders | 2020-02-03 | Paper |
Andrzej Mostowski and the notion of a model
Studies in Universal Logic | 2019-01-21 | Paper |
Two early Arabic applications of model-theoretic consequence
Logica Universalis | 2018-08-06 | Paper |
Ibn Sīnā on reductio ad absurdum
The Review of Symbolic Logic | 2017-09-15 | Paper |
| scientific article; zbMATH DE number 6741923 (Why is no real title available?) | 2017-07-11 | Paper |
The Move from One to Two Quantifiers
Studies in Universal Logic | 2015-06-24 | Paper |
A visit to Tarski's seminar on elimination of quantifiers
Proof, Computation and Agency | 2015-04-17 | Paper |
From sentence meanings to full semantics
Proof, Computation and Agency | 2015-04-17 | Paper |
| Affirmative and negative in Ibn Sīnā | 2015-01-22 | Paper |
| Western logic | 2013-10-04 | Paper |
| scientific article; zbMATH DE number 6174934 (Why is no real title available?) | 2013-06-12 | Paper |
| scientific article; zbMATH DE number 6148972 (Why is no real title available?) | 2013-03-27 | Paper |
Ibn Sīnā and conflict in logic
The Western Ontario Series in Philosophy of Science | 2012-09-06 | Paper |
| Proof of Gaifman's conjecture for relatively categorical abelian groups | 2011-12-06 | Paper |
| scientific article; zbMATH DE number 5975294 (Why is no real title available?) | 2011-11-18 | Paper |
Dependence of variables construed as an atomic formula
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
| scientific article; zbMATH DE number 5920145 (Why is no real title available?) | 2011-07-13 | Paper |
| Detecting the logical content: Burley's `Purity of logic' | 2011-07-06 | Paper |
| scientific article; zbMATH DE number 5896740 (Why is no real title available?) | 2011-05-18 | Paper |
Ibn Sīnā on analysis. I. Proof search. Or: Abstract state machines as a tool for history of logic
Fields of Logic and Computation | 2010-09-03 | Paper |
| scientific article; zbMATH DE number 5734943 (Why is no real title available?) | 2010-07-09 | Paper |
Traditional logic, modern logic and natural language
Journal of Philosophical Logic | 2010-01-15 | Paper |
Relative categoricity in abelian groups. II
Annals of Pure and Applied Logic | 2009-04-16 | Paper |
| scientific article; zbMATH DE number 5296405 (Why is no real title available?) | 2008-07-02 | Paper |
| scientific article; zbMATH DE number 5237014 (Why is no real title available?) | 2008-02-19 | Paper |
Logic for Mathematical Writing
Logic Journal of the IGPL | 2007-11-27 | Paper |
| Mathematical logic | 2007-06-04 | Paper |
| Definability and automorphism groups | 2006-08-16 | Paper |
| Two doors to open | 2006-06-29 | Paper |
| The importance and neglect of conceptual analysis: Hilbert-Ackermann iii.3 | 2006-01-24 | Paper |
| scientific article; zbMATH DE number 2236677 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2161109 (Why is no real title available?) | 2005-04-23 | Paper |
What languages have Tarski truth definitions?
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2078377 (Why is no real title available?) | 2004-07-09 | Paper |
| scientific article; zbMATH DE number 1852928 (Why is no real title available?) | 2003-01-29 | Paper |
| scientific article; zbMATH DE number 1827968 (Why is no real title available?) | 2002-11-13 | Paper |
| scientific article; zbMATH DE number 1771914 (Why is no real title available?) | 2002-08-01 | Paper |
Some combinatorics of imperfect information
The Journal of Symbolic Logic | 2002-07-04 | Paper |
| scientific article; zbMATH DE number 1749186 (Why is no real title available?) | 2002-06-04 | Paper |
An Editor Recalls Some Hopeless Papers
The Bulletin of Symbolic Logic | 2002-02-14 | Paper |
Compositionality is not the problem
Logic and Logical Philosophy | 2001-07-23 | Paper |
The laws of distribution for syllogisms
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
| scientific article; zbMATH DE number 1405576 (Why is no real title available?) | 2001-03-19 | Paper |
Formal features of compositionality
Journal of Logic, Language and Information | 2001-02-18 | Paper |
| scientific article; zbMATH DE number 1136101 (Why is no real title available?) | 1998-05-06 | Paper |
| scientific article; zbMATH DE number 1065051 (Why is no real title available?) | 1998-03-23 | Paper |
| scientific article; zbMATH DE number 1086489 (Why is no real title available?) | 1998-03-23 | Paper |
Compositional semantics for a language of imperfect information
Logic Journal of the IGPL | 1997-09-10 | Paper |
| scientific article; zbMATH DE number 1028824 (Why is no real title available?) | 1997-07-08 | Paper |
| scientific article; zbMATH DE number 1007358 (Why is no real title available?) | 1997-05-06 | Paper |
The meaning of specifications I: Domains and initial models
Theoretical Computer Science | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 663785 (Why is no real title available?) | 1995-06-13 | Paper |
Cohomology of Structures and Some Problems of Ahlbrandt and Ziegler
Journal of the London Mathematical Society | 1994-11-24 | Paper |
| scientific article; zbMATH DE number 554481 (Why is no real title available?) | 1994-11-03 | Paper |
The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph
Journal of the London Mathematical Society | 1994-04-27 | Paper |
Existentially closed groups and determinacy
Journal of Algebra | 1993-08-17 | Paper |
| scientific article; zbMATH DE number 53151 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 57849 (Why is no real title available?) | 1992-09-27 | Paper |
Automorphisms of Bounded Abelian Groups
Forum Mathematicum | 1992-06-28 | Paper |
There are reasonably nice logics
Journal of Symbolic Logic | 1992-06-26 | Paper |
Omega-categoricity, relative categoricity and coordinatisation
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4121974 (Why is no real title available?) | 1989-01-01 | Paper |
Alfred Tarski and decidable theories
Journal of Symbolic Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4072934 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4108737 (Why is no real title available?) | 1988-01-01 | Paper |
What is a Structure Theory?
Bulletin of the London Mathematical Society | 1987-01-01 | Paper |
Naturality and Definability, I
Journal of the London Mathematical Society | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3908418 (Why is no real title available?) | 1985-01-01 | Paper |
Groupes nilpotents existentiellement clos de classe fixée
Mémoires de la Société mathématique de France | 1984-01-01 | Paper |
Groupes nilpotents existentiellement clos de classe fixée
Mémoires de la Société mathématique de France | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3867301 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3877156 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3880666 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3928977 (Why is no real title available?) | 1984-01-01 | Paper |
Errata to ``In singular cardinality, locally free algebras are free''
Algebra Universalis | 1984-01-01 | Paper |
A combinatorial fact about free algebras
Algebra Universalis | 1982-01-01 | Paper |
In singular cardinality, locally free algebras are free
Algebra Universalis | 1981-01-01 | Paper |
Encoding orders and trees in binary relations
Mathematika | 1981-01-01 | Paper |
Infinite games and reduced products
Annals of Mathematical Logic | 1981-01-01 | Paper |
Constructing pure injective hulls
Journal of Symbolic Logic | 1980-01-01 | Paper |
Interpreting number theory in nilpotent groups
Archiv für Mathematische Logik und Grundlagenforschung | 1980-01-01 | Paper |
Functorial uniform reducibility
Fundamenta Mathematicae | 1980-01-01 | Paper |
Krull Implies Zorn
Journal of the London Mathematical Society | 1979-01-01 | Paper |
Possible Orderings of an Indiscernible Sequence
Bulletin of the London Mathematical Society | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3618108 (Why is no real title available?) | 1977-01-01 | Paper |
Läuchli's algebraic closure of <i>Q</i>
Mathematical Proceedings of the Cambridge Philosophical Society | 1976-01-01 | Paper |
On the Effectivity of Some Field Constructions
Proceedings of the London Mathematical Society | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3539212 (Why is no real title available?) | 1975-01-01 | Paper |
Six impossible rings
Journal of Algebra | 1974-01-01 | Paper |
A Normal Form for Algebraic Constructions
Bulletin of the London Mathematical Society | 1974-01-01 | Paper |
