Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are extensions of the the pi-calculus; a growing number is geared towards particular applications or co...

Abstract The preferential conditional logic $ \mathbb{PCL} $, introduced by Burgess, and its extensions are studied. First, a natural semantics based on neighbourhood models, which generalizes Lewis’ sphere models for counterfactual logics, is proposed. Soundness completeness of with respect to this class proved directly. Labelled sequent calculi all logics the family then introduced. modular h...

Abstract In Part I of this paper, we identified and compared various schemes for trivalent truth conditions indicative conditionals, most notably the proposals by de Finetti (1936) Reichenbach (1935, 1944) on one hand, Cooper ( Inquiry , 11 295–320, 1968) Cantwell Notre Dame Journal Formal Logic 49 245–260, 2008) other. Here provide proof theory resulting logics using tableau calculi sequent ca...

We automate the construction of analytic sequent calculi and effective semantics for a large class of logics formulated as Hilbert calculi. Our method applies to infinitely many logics, which include the family of paraconsistent C-systems, as well as to other logics for which neither analytic calculi nor suitable semantics have so far been available.

Presence of multiple calculi in ureterocele is rare in children. A 6-year-old boy presented with hematuria in whom on x-ray and ultrasound multiple calculi were noted in the urinary bladder. At surgery a ureterocele containing multiple calculi was found. The postoperative (99m) Tc-Dimercaptosuccinic acid scan (DMSA) reported normal renal function.

Preliminaries abstract reduction systems well-founded orderings Propositional logic syntax, semantics calculi: DPLL-procedure, . . . implementation: 2-watched literals, clause learning First-order predicate logic syntax, semantics, model theory, . . . calculi: resolution, tableaux, . . . implementation: sharing, indexing First-order predicate logic with equality term rewriting systems calculi: ...

The bilateralist approach to logical consequence maintains that judgments of different qualities should be taken into account in determining what-follows-from-what. We argue such an may actualized by a two-dimensional notion entailment induced semantic structures also accommodate non-deterministic and partial interpretations, propose proof-theoretical apparatus reason over using symmetrical ana...

We define sequent-style calculi for nominal tense logics characterized by classes of modal frames that are first-order definable by certain Π 1 -formulae and Π 0 2 -formulae. The calculi are based on d’Agostino and Mondadori’s calculus KE and therefore they admit a restricted cutrule that is not eliminable. A nice computational property of the restriction is, for instance, that at any stage of ...

Psi-calculi is a parametric framework for extensions of the pi-calculus with data terms and arbitrary logics. In this framework there is no direct way to represent action priorities, where an action can execute only if all other enabled actions have lower priority. We here demonstrate that the psi-calculi parameters can be chosen such that the effect of action priorities can be encoded. To acco...

In this work we explore the connections between (linear) nested sequent calculi and ordinary sequent calculi for normal and non-normal modal logics. By proposing local versions to ordinary sequent rules we obtain linear nested sequent calculi for a number of logics, including to our knowledge the first nested sequent calculi for a large class of simply dependent multimodal logics, and for many ...