43 Hits in 4.3 sec

Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment

Dov M. Gabbay
1973 Journal of Philosophical Logic  
File: DovPapers/055/055-TFNMR.tex N-Prolog: An Extension of Prolog with Hypothetical Implications 2 Journal of Logic Programming, 2, 251-283, 1986.  ...  It initiates the programme, continued in other papers of re-evaluating the notions of logic and proof theory in the light of applications of logic in Infomation Technology.  ...  Oxford University Press, 1999. Products of modal logics, part 1 (with V. Shehtman) Logic Journal of the IGPL, 6, 73-146, 1988.  ... 
doi:10.1007/bf00129607 fatcat:e6lokulrwrfcvl525fgj6dcr3m

Page 4595 of Mathematical Reviews Vol. , Issue 2000g [page]

2000 Mathematical Reviews  
IGPL 7 (1999), no. 4, 517-545.  ...  4595 “L’eudémonisme”; on p. 121, within the reference to Twardowski, the initial of first name of Husserl should be “E”, not “H”; more- over, the Twardowski-Husserl volume has an editor: J.  ... 

Page 9524 of Mathematical Reviews Vol. , Issue 2004m [page]

2004 Mathematical Reviews  
Symbolic Logic 64 (1999), no. 2, 859-880; MR 2001g:03020; Log. J. IGPL 10 (2002), no. 3, 229-243; MR 2003e:03024] on projective formulas ....”  ...  The volume could be the basis for a course on the philosophy of language, if the absence of any text of Wittgenstein is compensated in another way.  ... 


2002 Historia Mathematica  
For example, the abstracts for Volume 20, Number 1, are numbered: 20.  ...  A triple numbering system is used: the first number indicates the volume, the second the issue number, and the third the sequential number within that issue.  ...  An Autobiography of Polyadic Algebras, Logic Journal of the IGPL 8 (4) (2000), 383-392. Mathematical Reviews 2001h:51001. (TBC) #29.1.76 Hashimoto, Keizo. See #29.1.115 and #29.1.181.  ... 
doi:10.1006/hmat.2001.2335 fatcat:kvakwazpmjdpdhyfyvgsctcxui


2002 Historia Mathematica  
For example, the abstracts for Volume 20, Number 1, are numbered: 20.  ...  A triple numbering system is used: the firs number indicates the volume, the second the issue number, and the third the sequential number within that issue.  ...  An Autobiography of Polyadic Algebras, Logic Journal of the IGPL 8 (4) (2000), 383-392. Mathematical Reviews 2001h:51001. (TBC) #29.1.76 Hashimoto, Keizo. See #29.1.115 and #29.1.181.  ... 
doi:10.1016/s0315-0860(01)92335-3 fatcat:74kjk4yctfbbhnwp53q2iilx7y

Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism [chapter]

Markus Werning
2003 Foundations of the Formal Sciences II  
of neurons, (ii) that the isomorphism, in a strong sense, preserves the constituent relations of the conceptual algebra, and (iii) that the isomorphism transfers semantic compositionality.  ...  They combine the virtues and avoid the vices of classical and connectionist architectures.  ...  Lambek-Calculus for the Discontinuous Constituency, Bulletin of the IGPL 3 (1995), p. 555-578 [Can90] Andrea Cantini, A theory of formal truth arithmetically equivalent to í ÿ ú , Journal of  ... 
doi:10.1007/978-94-017-0395-6_19 fatcat:cq3yvlljbfh4jksf7sd4zm2tf4

Norms and Commitment for iOrgs(TM) Information Systems: Direct Logic(TM) and Participatory Grounding Checking [article]

Carl Hewitt
2010 arXiv   pre-print
It is not safe to use classical logic and probability theory in practical reasoning.  ...  The fundamental assumption of the Event Calculus is overly simplistic when it comes to organizations in which time-varying properties have to be actively maintained and managed in order to continue to  ...  A helpful review was provided by an anonymous referee for the special issue of the Journal of IGPL on Normative Multi-agent Systems.  ... 
arXiv:0906.2756v6 fatcat:ipieds2zb5fhhglujek5fy3u3q

Temporal patterns and modal structure

J van Benthem
1999 Logic Journal of the IGPL  
Temporal logic arose at the border of philosophy and linguistics.  ...  But unlike in the case of modal logic, from the start, different motivations fed into temporal logic, coming from philosophy (analysis of historical argumentations involving the structure of time), linguistics  ...  (The latter author is not to be confused with the Zanardo of the present volume, who goes to the opposite extreme, and ties branching temporal logic to some highly esotherical set theory.)  ... 
doi:10.1093/jigpal/7.1.7 fatcat:cjkmqmzoyvh3zl7lw2s7jzpclu

Medhātithi Gautama Pendiri Ānvīkṣikī Par Excellence

Ni Kadek Surpi, Krisna S Yogiswari
2021 Jurnal Penelitian Agama Hindu  
Gautama is believed to have written the Nyāya-Sūtra (Rules of Logic) in 550 BC, which are considered the earliest writings of the Indian system of logic.  ...  While in Indonesian, this article is a pioneer of Medhātithi Gautama's work and thoughts in Hindu logic.  ...  An Indian logic-based argument representation formalism for knowledge-sharing. Logic Journal of the IGPL, 17(1). Rahardjo, M. (2018).  ... 
doi:10.37329/jpah.v5i4.1404 fatcat:jetqkclkffb5ni65lnpzvqrrha

Page 2000 of Mathematical Reviews Vol. , Issue Author Index [page]

Mathematical Reviews  
Papers from the 6th Workshop on Logic, Language, Information and Computation held in Rio de Janeiro, May 25-28, 1999. Edited by Ruy J. G. B. de Queiroz. Log. J. IGPL 8 (2000), no. 5.  ...  Papers from the workshop (M4M-1) held at the University of Amsterdam, Amsterdam, May 6-7, 1999. Edited by Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke and Holger Schlingloff. Log. J.  ... 

The MyView Project: A Data Warehousing Approach to Personalized Digital Libraries [chapter]

Jens E. Wolff, Armin B. Cremers
1999 Lecture Notes in Computer Science  
The MyView project aims at the integration of both structured and unstructured bibliographic information from a diversity of heterogeneous Internet repositories like electronic journals and traditional  ...  This paper gives an overview of the project, emphasizes research issues and describes the current state of the implementation.  ...  , Logic Journal of the IGPL 14 , The Computer Journal 14 , Journal of Logic and Computation 14 ). .  ... 
doi:10.1007/3-540-48521-x_22 fatcat:uvo2jenprrfvjoquvrl2ipbqwi

Algebras and relational frames for Gödel modal logic and some of its extensions [article]

Tommaso Flaminio, Lluis Godo, Paula Menchón, Ricardo O. Rodriguez
2021 arXiv   pre-print
G\"odel modal logics can be seen as extenions of intutionistic modal logics with the prelinearity axiom.  ...  These relational structures can be considered as prelinear versions of the usual relational semantics of intuitionistic modal logic.  ...  Priestley Duality, a Sahlqvist Theorem and a Goldblatt- Thomason Theorem for Positive Modal Logic. Logic Journal of the IGPL 7(6): 683–715, 1999. [15] D. Diaconescu, G. Metcalfe, L.  ... 
arXiv:2110.02528v3 fatcat:rnry45cgpvdmbne2vg2yv223wi

Advice on Abductive Logic

Dov Gabbay, John Woods
2006 Logic Journal of the IGPL  
One of our purposes here is to expose something of the elementary logical structure of abductive reasoning, and to do so in a way that helps orient theorists to the various tasks that a logic of abduction  ...  A second objective is to test our conception of abduction's logical structure against some of the more promising going accounts of abductive reasoning.  ...  21 We owe a considerable debt of gratitude to our valued colleague Lorenzo Magnani for having organized two superb meetings of interest to abduction theorists -the Symposium on Abduction of the Cognitive  ... 
doi:10.1093/jigpal/jzk014 fatcat:ykz64cjlkzgsnf23by7sowke4q

Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL

Annabelle McIver, Carroll Morgan
2003 Theoretical Computer Science  
, 1997, also available; logic J, IGPL 7(6) (1999) 779, 07/Issue 06, http://web.comlab.  ...  We conclude by considering the complexity of the specialised logic.  ...  The result sketched in Section 7 shows that for the logic corresponding to "worst case" probabilistic CTL, the complexity is linear in the size of the formula and the size of the underlying transition  ... 
doi:10.1016/s0304-3975(02)00612-6 fatcat:lnvam2rqgnbnzpf6pgk4525eie

(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras [article]

Barbara König, Christina Mika-Michalski
2018 arXiv   pre-print
For this logic we show a quantitative version of the Hennessy-Milner theorem.  ...  Second, we introduce such games for the metric case and furthermore define a real-valued modal coalgebraic logic, from which we can derive the strategy of the spoiler.  ...  Acknowledgements We thank Paul Wild, Lutz Schröder and Dirk Pattinson for inspiring discussions on fuzzy modal logic, and in particular on preservation of total boundedness.  ... 
arXiv:1705.10165v3 fatcat:qkivcwap3fc5tbmjbpeuyqdjgu
« Previous Showing results 1 — 15 out of 43 results