The following pages link to (Q4342090):
Displayed 19 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)
- Henkin and Hybrid Logic (Q3454819) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- R n - and G n -logics (Q4645806) (← links)
- Datalog: Bag Semantics via Set Semantics (Q5091129) (← links)
- A formalised theorem in the partition calculus (Q6073894) (← links)
- (Q6191003) (← links)