
Authors:
Eugeniusz TOMASZEWSKI
Title:An Algorithm for Finding Finite Axiomatization of Finite Intermediate Logics by Means of Jankov Formulas
Pages:16
File:bibtex
Abstract ( + )
Axiomatization of Finite Intermediate Logics by Means of Jankov Formulas In the paper a new algorithm for finding finite axiomatizations of varieties of Heyting algebras generated by a single finite algebra is given. The novelty of this algorithm is that it produces axiomatizations which utilize only Jankov characteristic formulas.

Authors:
Zachary ERNST
Title:Completions of TV_{>} from H_{>}
Pages:714
File:bibtex
Abstract ( + )
Karpenko has posed the problem of constructing a lattice of implicational logics by finding a formula X such that {B,C,I,W,K_1,X} is an independent basis for the implicational fragment of classical logic. In this paper, we report nine such formulas. We also answer an open question posed by Slaney and Bunder regarding their solution to Karpenko's problem.

Authors:
Andrzej INDRZEJCZAK
Title:Labelled Analytic Tableaux for S4.3
Pages:1526
File:bibtex
Abstract ( + )
The paper presents a labelled tableau system for S4.3, based on D'Agostino, Mondadori system KE for Classical Propositional Logic and labelled rules for S4 of Fitting. Weak connectedness is provided by the unique, nonbranching rule. The system is analytic and provides decision procedure.

Authors:
Renate A. SCHMIDT and Dmitry TISHKOVSKY
Title:On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge
Pages:2736
File:bibtex
Abstract ( + )
[Abstract]

Authors:
Janusz KACZMAREK
Title:On the Porphyrian Tree Structure and an Operation of Determination
Pages:3746
File:bibtex
Abstract ( + )
The paper formalises the structure of Porphyrian tree (PTS) and introduces operation of determination (D), which renders the Wolff's idea of generating attributes of being by means of essentialia. The analysis of their mutual dependencies has lead to the following conclusion: operation D is generated by PTS and, conversely, some Porphyrian structure is determined by operation D.

Authors:
Dorota RYBARKIEWICZ
Title:Is Metaphor an Illocutionary Act?
Pages:4764
File:bibtex
Abstract ( + )
The paper aims to answer the above question basing, on the one hand, on the pragmatic analysis of metaphors and, on the other, on speech acts theories. Having discussed the points at variance I try to show that metaphor is not an illocutionary act in the sense as, e.g. "to promise" is. Instead it may be considered as a special superforce when special conditions are included in the definition of speech act.