Systemy S4 I S5 Lewisa a spójnik identyczności

Allatum est die 28 Septembris 1970     

O związkach pomiędzy wynikaniem,sprzecznością i zupeŀnością

Allatum est die 6Aprilis 1965     

An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$ mbC

Studia Logica - The aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency $$\mathsf {mbC}$$ . As a proof-theoretical basis we employ the...     

From Body to Language: Gestural and Pantomimic Scenarios of Language Origin in the Enlightenment

Topoi - Gestural and pantomimic accounts of language origins propose that language did not develop directly from ape vocalisations, but rather that its emergence was preceded by an intervening...     

A note on orthogonality of subspaces in Euclidean geometry

We show that Euclidean geometry in suitably high dimension can be expressed as a theory of orthogonality of subspaces with fixed dimensions and fixed dimension of their meet.