scientific article; zbMATH DE number 2062214
From MaRDI portal
Publication:4459084
zbMATH Open1043.03047MaRDI QIDQ4459084FDOQ4459084
Authors: Jānis Cīrulis 
Publication date: 25 March 2004
Title of this publication is not available (Why is that?)
Recommendations
- On semilattice relevant logics
- Quantifiers on multiplicative semilattices. I
- On propositional quantifiers in provability logic
- scientific article; zbMATH DE number 1140581
- scientific article; zbMATH DE number 5295712
- Partial semantics for quantified modal logic
- Quantized linear logic, involutive quantales and strong negation
- scientific article; zbMATH DE number 1746566
- scientific article; zbMATH DE number 795162
- scientific article; zbMATH DE number 1163938
Cited In (11)
- Quantifiers on multiplicative semilattices. I
- Foundations for entailment checking in quantitative separation logic
- Semantical analysis of superrelevant predicate logics with quantification
- Logical semirings and their usage for construction of quick algorithms
- Characterizations of Weighted First-Order Logics over Semirings
- Semantic properties of \(T\)-consequence relation in logics of quasiary predicates
- Composition-nominative logics of quasi-ary predicates: semantic aspects
- Quantifiers in logic and proof-search using permissive-nominal terms and sets
- On the ontology of branching quantifiers
- On the homogeneity property for certain quantifier logics
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4459084)
