UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS

Article Properties
Abstract
Cite
DZIK, WOJCIECH, and PIOTR WOJTYLAK. “UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS”. The Review of Symbolic Logic, vol. 12, no. 1, 2018, pp. 37-61, https://doi.org/10.1017/s1755020318000011.
DZIK, W., & WOJTYLAK, P. (2018). UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS. The Review of Symbolic Logic, 12(1), 37-61. https://doi.org/10.1017/s1755020318000011
DZIK, WOJCIECH, and PIOTR WOJTYLAK. “UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS”. The Review of Symbolic Logic 12, no. 1 (2018): 37-61. https://doi.org/10.1017/s1755020318000011.
DZIK W, WOJTYLAK P. UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS. The Review of Symbolic Logic. 2018;12(1):37-61.
Journal Categories
Philosophy
Psychology
Religion
Philosophy (General)
Science
Mathematics
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
Refrences
Title Journal Journal Categories Citations Publication Date
On rules 2015
Exact unification and admissibility 2015
Splittings of lattices of theories and unification types 2006
Chains of structurally complete predicate logics with the application of Prucnal’s substitution 2004
An essay on unification and inference rules for modal logic 1999