Pages that link to "Item:Q1355131"
From MaRDI portal
The following pages link to On elementary equivalence for equality-free logic (Q1355131):
Displaying 21 items.
- A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis (Q313981) (← links)
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- Logical operations and invariance (Q861521) (← links)
- Characterizing classes defined with equality (Q1368911) (← links)
- On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions (Q1652877) (← links)
- Invariance and definability, with and without equality (Q1704087) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- Expressivity of imperfect information logics without identity (Q1956377) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q2104511) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308) (← links)
- Categoricity without equality (Q2773239) (← links)
- On the Expressive Power of Equality-Free First Order Languages (Q3028987) (← links)
- On the restricted equivalence for subclasses of propositional logic (Q3142267) (← links)
- Infinitary Equilibrium Logic and Strong Equivalence (Q3449222) (← links)
- Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (Q3525204) (← links)
- Algebraic Characterizations for Universal Fragments of Logic (Q4264538) (← links)
- (Q4820591) (← links)
- Equality-free logic: the method of diagrams and preservation theorems (Q4934882) (← links)
- Relating Structure and Power: Comonadic Semantics for Computational Resources (Q5079721) (← links)
- MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)
