The following pages link to Janusz Czelakowski (Q178963):
Displayed 50 items.
- Item:Q178963 (redirect page) (← links)
- Fregean logics (Q598302) (← links)
- Partial Boolean algebras in a broader sense (Q599813) (← links)
- Another proof that \(ISP_ r(K)\) is the least quasivariety containing K (Q795076) (← links)
- Some theorems on structural entailment relations (Q798645) (← links)
- Logical matrices and the amalgamation property (Q800348) (← links)
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
- Filter distributive logics (Q1066139) (← links)
- Sentential logics and Maehara interpolation property (Q1076010) (← links)
- Matrices, primitive satisfaction and finitely based logics (Q1080413) (← links)
- Algebraic aspects of deduction theorems (Q1087867) (← links)
- Local deductions theorems (Q1090668) (← links)
- Reduced products of logical matrices (Q1145134) (← links)
- Equivalential logics. I (Q1159628) (← links)
- Equivalential logics. II (Q1167714) (← links)
- A single quasi-identity for a quasivariety with the Fraser-Horn property (Q1185227) (← links)
- A deduction theorem schema for deductive systems of propositional logics (Q1189891) (← links)
- Logics based on partial Boolean \(\sigma\)-algebras. I (Q1227737) (← links)
- Logics based on partial Boolean \(\sigma\)-algebras. II (Q1227738) (← links)
- The Suszko operator. I (Q1422451) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
- Relative principal congruences in congruence-modular quasivarieties (Q1966138) (← links)
- Freedom and enforcement in action. A study in formal action theory (Q2018240) (← links)
- Performability of actions (Q2071576) (← links)
- Logics of order and related notions (Q2106877) (← links)
- Deontology of compound actions (Q2304622) (← links)
- General theory of the commutator for deductive systems. I: Basic facts (Q2433100) (← links)
- Triangular irreducibility of congruences in quasivarieties (Q2450841) (← links)
- Retracted article: ``The twin primes conjecture is true in the standard model of Peano arithmetic. Applications of Rasiowa-Sikorski lemma in arithmetic. I'' (Q2698285) (← links)
- Retracted article: ``There are infinitely many Mersenne prime numbers. Applications of Rasiowa-Sikorski lemma in arithmetic. II'' (Q2698286) (← links)
- (Q2707243) (← links)
- Logics and operators (Q2730951) (← links)
- (Q3201124) (← links)
- (Q3208632) (← links)
- (Q3208633) (← links)
- (Q3208635) (← links)
- (Q3208636) (← links)
- (Q3216636) (← links)
- Probabilistic Interpretations of Predicates (Q3305429) (← links)
- AC is Equivalent to the Coherence Principle. Corrigendum to my Paper "Induction Principles for Sets" (Q3398963) (← links)
- (Q3433173) (← links)
- (Q3470527) (← links)
- (Q3505081) (← links)
- Monotone Relations, Fixed Points and Recursive Definitions (Q3600566) (← links)
- (Q3695251) (← links)
- (Q3798646) (← links)
- On σ-orthodistributivity (Q3858266) (← links)
- On extending of partial Boolean algebras to partial *-algebras (Q3864579) (← links)