-
10Representation of the Montague Semantics as a Form of the Suppes Semantics with Applications to the Problem of the Introduction of the Passive Voice, the Tenses, and Negation as TransformationsIn Jaakko Hintikka (ed.), Approaches to Natural Language, D. Reidel Publishing. pp. 395--409. 1973.
-
10
-
10From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt ing's implication. I have not included anything on entailment, al though it belongs to this neighbourhood, mainly because of the appearance of the Anderson-Belnap book on entailment. In the later chapters of this book, I have inc…Read more
-
10Interpolation and Definability: Modal and Intuitionistic LogicsOxford University Press UK. 2005.This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dumm…Read more
-
10On 2nd order intuitionistic propositional calculus with full comprehensionArchive for Mathematical Logic 16 (3-4): 177-186. 1974.
-
9A General Theory of Structured Consequence RelationsTheoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 10 (2): 49-78. 1995.There are several areas in logic where the monotonicity of the consequence relation fails to hold. Roughly these are the traditional non-monotonic systems arising in Artificial Intelligence, numerical non-monotonic systems, resource logics, and the logic of theory change. We are seeking a common axiomatic and semantical approach to the notion of consequence whieh can be specialised to any of the above areas. This paper introduces the notions of structured consequence relation, shift operators an…Read more
-
9More on non-cooperation in dialogue logicLogic Journal of the IGPL 9 (2): 305-324. 2001.Stone-walling dialogues are exercises in structured non-cooperation. It is true that dialogue participants need to cooperate with one another and in ways sufficient to make possible the very dialogue they are now having. Beyond that there is room for non-cooperation on a scale that gives great offence to what we call the Goody Two-Shoes Model of argument. In this paper, we argue that non-cooperation dialogues have perfectly legitimate objectives and that in relation to those objectives they need…Read more
-
9What Is Negation in a System 2020?In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics, Springer Verlag. pp. 193-221. 2021.The notion of negation is basic to any formal or informal logical system. When any such system is presented to us, it is presented either as a system without negation or as a system with some form of negation. In both cases, we are supposed to know intuitively whether there is no negation in the system or whether the form of negation presented in the system is indeed as claimed. To be more specific, suppose Robinson Crusoe writes a logical system with Hilbert-type axioms and rules, which include…Read more
-
8Algorithms in cognition, informatics and logic: A position manifestoLogic Journal of the IGPL 18 (6): 763-768. 2010.
-
8Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic LogicsJournal of Symbolic Logic 61 (3): 1057-1120. 1996.This is Part 1 of a paper on fibred semantics and combination of logics. It aims to present a methodology for combining arbitrary logical systems $\mathbf{L}_i, i \in I$, to form a new system $\mathbf{L}_I$. The methodology `fibres' the semantics $\mathscr{K}_i$ of $\mathbf{L}_i$ into a semantics for $\mathbf{L}_I$, and `weaves' the proof theory of $\mathbf{L}_i$ into a proof system of $\mathbf{L}_I$. There are various ways of doing this, we distinguish by different names such as `fibring', `dov…Read more
-
8
-
8What is Negation? (edited book)Springer. 1999.The properties of negation, in combination with those of other logical operations and structural features of the deductibility relation, serve as gateways among logical systems. Negation therefore plays an important role in selecting logical systems for particular applications. This volume provides a thorough treatment of this concept, based on contributions written by authors from various branches of logic. The resulting 14 research papers address a variety of topics including negation in relev…Read more
-
8Adding a temporal dimension to a logic systemJournal of Logic, Language and Information 1 (3): 203-233. 1992.We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with “Since” and “Until”) in a special way. We refer to this method as “adding a temporal dimension to L” or just “temporalising L”. We show that the logic system T(L) preserves several properties of the original temporal logic like soundness, comple…Read more
-
8Do we really need tenses other than future and past?In Rainer Bäuerle, Urs Egli & Arnim von Stechow (eds.), Semantics From Different Points of View, Springer Verlag. pp. 15--20. 1979.
-
7The use of logic and argumentation in therapy of sex offendersLogic Journal of the IGPL. forthcoming.This paper is intended first for the formal argumentation community (see https://comma.csc.liv.ac.uk/). This community develops logics and systems modelling argumentation and dialogues. The community is in search of major applications areas for their models. One such application area e.g. is Law. The message of this paper is that there is another major application area for formal argumentation. There is an international community of sex offender therapist that is well established and well funded…Read more
-
7The paradoxes of permission an action based solutionJournal of Applied Logic 12 (2): 179-191. 2014.
-
7A New Perspective on Nonmonotonic LogicsImprint: Springer. 2016.Logics are like shadows on a wall; to understand why they dance as they do, and how they can be made to move differently, one needs to look at the mathematical structures from which they can be projected. That is a methodology that has long proven its value for classical and other forms of deductive inference; this book manifests its pertinence to logics of uncertain qualitative reasoning. It draws together and refines work from the literature on preferential and other quite different semantics …Read more
-
7Interactive Logic: Selected Papers From the 7th Augustus de Morgan Workshop, London (edited book)Amsterdam University Press. 2007.This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games—touching on research in logic, mathematics, computer science, and game theory. “A wonderful demonstration of ...
-
6Homogeneous And Heterogeneous Logical Proportions: An IntroductionIn Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic: Volume 18, Springer Verlag. 2018.Commonsense reasoning often relies on the perception of similarity as well as dissimilarity between objects or situations.