Studia Logica 95 (1-2):139-159 (2010)

Robert Trypuz
Katolicki Uniwersytet Lubelski (KUL)
In this paper the class of minimal models CZI for Kiczuk’s system of physical change ZI is provided and soundness and completeness proofs of ZI with respect to these models are given. ZI logic consists of propositional logic von Wright’s And Then and six specific axioms characterizing the meaning of unary propositional operator “Zm”, read “there is a change in the fact that”. ZI is intended to be a logic which provides a formal account for describing two kinds of process change: the change from one state of the process to its other state and the perishing of the process.
Keywords Philosophy   Computational Linguistics   Mathematical Logic and Foundations   Logic
Categories (categorize this paper)
DOI 10.1007/s11225-010-9258-2
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,448
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
Norm and Action.G. H. von Wright - 1963 - New York: Humanities.
Past, Present and Future.L. Jonathan Cohen - 1970 - Philosophical Quarterly 20 (78):83-84.
Tense Logic and the Logic of Change.John E. Clifford - 1966 - Logique Et Analyse 9 (34):219-230.
System logiki zmiany.Stanisław Kiczua - 1985 - Roczniki Filozoficzne 33 (1):143.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Completeness: From Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Russell's Completeness Proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.
A System Of The Logic Of Change.Stanisław Kiczuk - 2014 - Logic and Logical Philosophy 23 (2):203-238.
Completeness of MLL Proof-Nets W.R.T. Weak Distributivity.Jean-Baptiste Joinet - 2007 - Journal of Symbolic Logic 72 (1):159 - 170.
Change and the Programme of the Logic of Change.Stanislaw Kiczuk - 1982 - Roczniki Filozoficzne 30 (1):143.
To Be and Not to Be: Dialectical Tense Logic.Graham Priest - 1982 - Studia Logica 41 (2-3):249 - 268.


Added to PP index

Total views
11 ( #823,512 of 2,446,175 )

Recent downloads (6 months)
1 ( #456,899 of 2,446,175 )

How can I increase my downloads?


My notes