The following pages link to (Q4342090):
Displaying 22 items.
- Natural language semantics in biproduct dagger categories (Q280847) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras (Q776994) (← links)
- Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation (Q782499) (← links)
- Probabilistic modelling, inference and learning using logical theories (Q841641) (← links)
- The variety of consequence, according to Bolzano (Q1083442) (← links)
- An efficient method for eliminating varying predicates from a circumscription (Q1193478) (← links)
- Universal algebra in higher types (Q1199827) (← links)
- Normal forms for second-order logic over finite structures, and classification of NP optimization problems (Q1919763) (← links)
- The challenge of many logics: a new approach to evaluating the role of ideology in Quinean commitment (Q2053348) (← links)
- Semantic vector models and functional models for pregroup grammars (Q2255181) (← links)
- Probabilistic reasoning in a classical logic (Q2390656) (← links)
- Probabilities on sentences in an expressive logic (Q2446673) (← links)
- Light logics and higher-order processes (Q2971072) (← links)
- Henkin and Hybrid Logic (Q3454819) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- One-and-a-halfth-order Logic (Q3520234) (← links)
- (Q4250665) (← links)
- R n - and G n -logics (Q4645806) (← links)
- On higher-order logical grounds (Q5046238) (← links)
- Datalog: Bag Semantics via Set Semantics (Q5091129) (← links)
- A formalised theorem in the partition calculus (Q6073894) (← links)
