The following pages link to Journal of Applied Logic (Q124852):
Displaying 50 items.
- A study on anomaly detection ensembles (Q124858) (← links)
- The left adjoint of Spec from a category of lattice-ordered groups (Q266868) (← links)
- The principle of signature exchangeability (Q266871) (← links)
- The problem of coincidence in a theory of temporal multiple recurrence (Q266873) (← links)
- A multiple-valued logic approach to the design and verification of hardware circuits (Q266875) (← links)
- The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated (Q266877) (← links)
- Translation of first order formulas into ground formulas via a completion theory (Q266881) (← links)
- Bunched sequential information (Q266883) (← links)
- Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
- Continuity and geometric logic (Q280833) (← links)
- Modeling Martin-Löf type theory in categories (Q280835) (← links)
- A model of type theory in simplicial sets. A brief introduction to Voevodsky's homotopy type theory (Q280837) (← links)
- Relational semantics for full linear logic (Q280840) (← links)
- Formal ontologies and coherent spaces (Q280844) (← links)
- Selectional restrictions, types and categories (Q280845) (← links)
- Natural language semantics in biproduct dagger categories (Q280847) (← links)
- A non-commutative generalization of Łukasiewicz rings (Q301364) (← links)
- Reasoning about negligibility and proximity in the set of all hyperreals (Q301366) (← links)
- A cirquent calculus system with clustering and ranking (Q301368) (← links)
- Representable posets (Q301370) (← links)
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Transformation of fractions into simple fractions in divisive meadows (Q301374) (← links)
- Revisiting da Costa logic (Q301378) (← links)
- Editorial: Special issue SOCO13-JAL (Q313004) (← links)
- Tableau reductions: towards an optimal decision procedure for the modal necessity (Q313007) (← links)
- Hoop twist-structures (Q334145) (← links)
- Formalization of reliability block diagrams in higher-order logic (Q334147) (← links)
- Bridging Curry and Church's typing style (Q334149) (← links)
- Formal assessment of reliability specifications in embedded cyber-physical systems (Q334152) (← links)
- From reasonable preferences, via argumentation, to logic (Q334156) (← links)
- Strongly polynomial sequences as interpretations (Q334158) (← links)
- Intuitionistic common knowledge or belief (Q334160) (← links)
- Proof theory and mathematical meaning of paraconsistent C-systems (Q420832) (← links)
- Inversive meadows and divisive meadows (Q420833) (← links)
- Translating regular expression matching into transducers (Q420836) (← links)
- The Ackermann approach for modal logic, correspondence theory and second-order reduction (Q420837) (← links)
- Eradication (Q420838) (← links)
- A note on two of Hrushovski's constructions (Q420840) (← links)
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- Quantum-like logics and schizophrenia (Q420845) (← links)
- Sufficient completeness verification for conditional and constrained TRS (Q420848) (← links)
- Locality and modular Ehrenfeucht-Fraïssé games (Q420850) (← links)
- Reasoning about visibility (Q420853) (← links)
- An optimal construction of Hanf sentences (Q420856) (← links)
- Correlations of spaces of pencils (Q420857) (← links)
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- Agent deliberation in an executable temporal framework (Q456706) (← links)
- An abstract dynamic access control architecture (Q456710) (← links)
- Levels of modality for BDI logic (Q456714) (← links)
- Time and defeasibility in FIPA ACL semantics (Q456719) (← links)
